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
:
sig
end
) ->
Id
an abstract unique identifier based on 64 bit integers.
module Int64:
functor (
Z
:
sig
end
) ->
Id