Test.Validity.Relations.Reflexivity

reflexiveOnElem

reflexivityOnGen

reflexivityOnValid

reflexivity

reflexivityOnArbitrary