Module Binsec_codex_lib.Heap_typing

exception Incomparable_types of string
exception Falsified_predicate of string
module type MEMORY = sig ... end
module Make (Memory : MEMORY) : sig ... end