Module Wp.Clabels.T

module T: sig .. end

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