sig
type
t
val
compare :
MoreLabels
.
Set
.
OrderedType
.t
->
MoreLabels
.
Set
.
OrderedType
.t
->
int
end