sig
type
t
val
compare :
Sig
.
ORDERED_TYPE
.t
->
Sig
.
ORDERED_TYPE
.t
->
int
end