Module Binsec_codex_lib.Heap_typing

module StrMap = Codex.Utils.Datatype_sig.StringMap

type cell_typ = Codex.Types.TypedC.typ * Units.In_bytes.t

exception Incomparable_types of string

exception Falsified_predicate of string

module type MEMORY = sig ... end

module Make (Memory : MEMORY) : sig ... end