模块 Identifiable.Map.T

module T: Map.OrderedType