Binsec_codex_lib.Heap_typing
module StrMap = Binsec_codex_lib.Codex.Datatype_sig.StringMap
type cell_typ = Binsec_codex_lib.Codex.Types.Ctypes.typ * int
exception Incomparable_types of string
exception Falsified_predicate of string
module type MEMORY = sig ... end
module Make (Memory : MEMORY) : sig ... end