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