sig
type
t
val
compare :
Intf
.
ORD
.t
->
Intf
.
ORD
.t
->
int
end