module Unique_id: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.sig
..end
module type Unit_ref =sig
..end
module type Id =sig
..end
module Unit_ref:
module Int63:
module Int64: