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