sig type t = Parsetree.relation val compare : t -> t -> int end