Parameter Generic.W

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