package jhupllib

  1. Overview
  2. Docs

Defines the type of a module supporting UID generation.

type t

The type of UIDs in this module.

The type of UID generation contexts in this module.

type context

The type of UID generation contexts in this module.

The default context with which UIDs are created.

val default_context : context

The 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 -> context

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.

Creates a fresh UID. If a context is provided, it is used; otherwise, the default context is used.

val fresh : ?context:context -> unit -> t

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 equal : t -> t -> bool

Determines if two UIDs are equal.

Compares two UIDs.

val compare : t -> t -> int

Compares two UIDs.

Prints a UID.

Prints a UID.

Converts a UID to a string.

val show : t -> string

Converts a UID to a string.