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