Algebra.Graph.Relation.Transitive

Data structure

data TransitiveRelation a

fromRelation

toRelation