Data.Nat.Order.Strict

Implementing `Decidable.Order.Strict` for `Data.Nat.LT`

Definitions

decLT : (a : Nat) -> (b : Nat) -> DecOrdering a b

Totality: total
Visibility: public export