Parameter Generic.2-W

type t = G.E.label
val compare : t -> t -> int