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