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