law nat_succ_add_absurd
import bend-osdev-u32@0.1.0.0/LAWS.bend as LAWSimport Base
361law nat_succ_add_absurd:
362 for +w: Nat
363 for +x: Nat
364 for e: {Nat.add(w, 1n+x) == x : Nat}
365 Empty
import bend-osdev-u32@0.1.0.0/LAWS.bend as LAWSimport Base
361law nat_succ_add_absurd:
362 for +w: Nat
363 for +x: Nat
364 for e: {Nat.add(w, 1n+x) == x : Nat}
365 Empty