Module Binsec_codex_lib.Analysis_settings

type skip_type =
  1. | NotWhenInterpreting
  2. | Always
module Addr_tbl : Stdlib.Hashtbl.S with type key = Binsec.Virtual_address.t
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