package jhupllib

  1. Overview
  2. Docs

Module Uids.MakeSource

Parameters

Signature

Sourcetype t

The type of UIDs in this module.

The type of UID generation contexts in this module.

Sourcetype context

The type of UID generation contexts in this module.

The default context with which UIDs are created.

Sourceval 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.

Sourceval 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.

Sourceval 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.

Sourceval equal : t -> t -> bool

Determines if two UIDs are equal.

Compares two UIDs.

Sourceval compare : t -> t -> int

Compares two UIDs.

Prints a UID.

Prints a UID.

Converts a UID to a string.

Sourceval show : t -> string

Converts a UID to a string.

OCaml

Innovation. Community. Security.