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