Dba2Codex.Create
module Region : RegionS with module Virtual_address := Binsec.Virtual_address
module EvalPred :
Binsec_codex_lib.Codex.Type_domain.EvalPred.Sig with module Domain := Domain
module Make
(Reg : Arch_settings.Registers with module Domain = Domain) :
sig ... end