binsec_codex.lib
Dba2Codex.Create
module Numeric_simple : Codex.Domains.Sig.BASE
module Numeric : Codex.Domains.Sig.BASE
module Domain : Codex.Domains.Memory_domains.With_focusing.S_with_types
module Region : RegionS with module Virtual_address := Binsec.Virtual_address
module Make (Reg : Arch_settings.Registers with module Domain = Domain) : sig ... end