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