law nat_add_zero
import bend-osdev-u32@0.1.0.0/LAWS.bend as LAWSimport Base
231law nat_add_zero:
232 for +x: Nat
233 {Nat.add(x, 0n) == x : Nat}
import bend-osdev-u32@0.1.0.0/LAWS.bend as LAWSimport Base
231law nat_add_zero:
232 for +x: Nat
233 {Nat.add(x, 0n) == x : Nat}