Module Heap_typing.Make

Parameters

module Memory : MEMORY

Signature

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