law nat_le_refl
import bend-osdev-u32@0.1.0.0/LAWS.bend as LAWSimport Base
335law nat_le_refl:
336 for +x: Nat
337 {Nat.is_le(x, x) == True{} : Bool}
import bend-osdev-u32@0.1.0.0/LAWS.bend as LAWSimport Base
335law nat_le_refl:
336 for +x: Nat
337 {Nat.is_le(x, x) == True{} : Bool}