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