Module Unique_id_intf

module Unique_id_intf: sig .. end

include Core_kernel.Unique_id_intf