Module `Dba2Codex.Create`

Parameters

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