Module Identifiable.Set.T

module T: Set.OrderedType