Module Id

module Id: sig .. end

Abstract unique identifiers and an implementation with natural numbers.

module type T = sig .. end

Unique identifiers.

module type Generator = sig .. end

Generator of identifiers.

module Nat: T  with type t = int

Natural numbers as identifiers.

module Nat_generator: Generator  with type t = int

Generators for identifiers in an initial region of the naturals.

Hosted by the

^* web site.
^*Other names and brands may be claimed as the property of others.