Data.Relation

Definitions

0 Rel : Type -> Type

Totality: total
Visibility: public export

0 (~>) : Rel a -> Rel a -> Type

Totality: total
Visibility: public export
Fixity Declarations:
infix operator, level 5
infix operator, level 5
infix operator, level 5