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