Module Create.Heap_typechecker

val type_heap : symbols:Z.t Binsec_codex_lib.Codex.Datatype_sig.StringMap.t -> ReadMem.t -> Binsec.Virtual_address.t -> Binsec_codex_lib.Codex.Types.Ctypes.typ -> (Binsec_codex_lib.Codex.Types.Ctypes.typ * int) Binsec.Virtual_address.Htbl.t