The type of UID generation contexts in this module.
The default context with which UIDs are created.
val default_context : contextThe default context with which UIDs are created.
Creates a fresh context from which to generate UIDs. The UIDs in this context are not distinguishable from the UIDs from any other context from the same module.
val new_context : unit -> contextCreates a fresh context from which to generate UIDs. The UIDs in this context are not distinguishable from the UIDs from any other context from the same module.
Creates a fresh UID. If a context is provided, it is used; otherwise, the default context is used.
Creates a fresh UID. If a context is provided, it is used; otherwise, the default context is used.
Determines if two UIDs are equal.
val pp : t Pp_utils.pretty_printerPrints a UID.
Converts a UID to a string.
val show : t -> stringConverts a UID to a string.