Binsec_codex_lib.Analysis_settings
module type S = sig ... end
module type MAKE =
functor (Reg : Arch_settings.Registers) ->
functor (State : Dba2Codex.StateS) ->
functor (Record_cfg : Record_cfg.S) ->
S with module State = State and module Record_cfg = Record_cfg