Algebra.Graph.Relation.Reflexive

Data structure

data ReflexiveRelation a

fromRelation

toRelation