Module Unique_id


module Unique_id: sig .. end
A unique identifier based on a small allocated block, and an integer for hashing. All ids held in memory remain unique no matter how many ids have been created.

module type Unit_ref = sig .. end
module type Id = sig .. end
module Unit_ref: 
functor (Z : sig
end) -> Unit_ref
A unique identifier based on a small allocated block, and an integer for hashing.
module Int63: 
functor (Z : sig
end) -> Id
an abstract unique identifier based on 64 bit integers.
module Int64: 
functor (Z : sig
end) -> Id