sig
type
t = int
val
compare :
'
a
->
'
a
->
int
end