Idris2Doc
: Data.Nat.Order.Strict
Index
Default
Alternative
Black & White
Data.Nat.Order.Strict
Implementing `Decidable.Order.Strict` for `Data.Nat.LT`
decLT
: (a :
Nat
) -> (b :
Nat
) ->
DecOrdering
a b
Totality
: total