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