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 Logo* web site.
*Other names and brands may be claimed as the property of others.