Module Dba2Codex.Create

Parameters

Signature

module Region : RegionS with module Virtual_address := Binsec.Virtual_address
module Make (Reg : Arch_settings.Registers with module Domain = Domain) : sig ... end