Idris2Doc
: Data.Nat.Order.Relation
Index
Default
Alternative
Black & White
Data.Nat.Order.Relation
An example implementation for the Tolerance relation.
Definitions