Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source
Page
Library
Module
Module type
Parameter
Class
Class type
Source
Trace.Obj_id
Identifiers to represent allocations
module Tbl : Hashtbl.SeededS with type key = t
For convenience, a hashtable keyed by object ID