Heap_typing.Make
module Memory : MEMORY
val type_heap : symbols:Z.t StrMap.t -> Memory.t -> Binsec.Virtual_address.t -> Binsec_codex_lib.Codex.Types.Ctypes.typ -> cell_typ Binsec.Virtual_address.Htbl.t