Module Create.Dba2CodexC

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 : sig ... end

module Make (Reg : sig ... end) : sig ... end