Module Heap_typing.Make

Parameters

module Memory : MEMORY

Signature

val type_heap : symbols:Z.t StrMap.t -> Memory.t -> Binsec.Virtual_address.t -> Codex.Types.TypedC.typ -> cell_typ Binsec.Virtual_address.Htbl.t