law sub_le
import bend-lawful-stdlib@0.1.0.0/src/nat.bend as Natimport Base
82# a - k <= a (Nat.sub stops at 0)
83law sub_le:
84 for a: Nat
85 for k: Nat
86 LE(Nat.sub(a, k), a)
Uses (7)
Used by (0)
No other definition uses this definition.
import bend-lawful-stdlib@0.1.0.0/src/nat.bend as Natimport Base
82# a - k <= a (Nat.sub stops at 0)
83law sub_le:
84 for a: Nat
85 for k: Nat
86 LE(Nat.sub(a, k), a)
No other definition uses this definition.