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