Idris2Doc : Data.Nat.Order.Strict

Data.Nat.Order.Strict

Implementing `Decidable.Order.Strict` for `Data.Nat.LT`
decLT : (a : Nat) -> (b : Nat) -> DecOrderingab
Totality: total