Up
Next
Module
Relation.RelOrd
module
RelOrd:
Set.OrderedType
with type t = relation