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