Module `Dba2Codex.Create`Source

Parameters

Sourcemodule Numeric_simple : Codex.Domains.Sig.BASE

Sourcemodule Numeric : Codex.Domains.Sig.BASE

Sourcemodule Domain : Codex.Domains.Memory_domains.With_focusing.S_with_types

Sourcemodule Region : RegionS with module Virtual_address := Binsec.Virtual_address

module Make
  (Reg : Arch_settings.Registers with module Domain = Domain) : 
  sig ... end