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: