Module Unique_id_intf

module Unique_id_intf: Unique_id_intf

module type Id = sig .. end

module type S = sig .. end