Module Relation.RelOrd


module RelOrd: Set.OrderedType  with type t = relation