Module Relation.RelMap


module RelMap: Map.S  with type key = relation