law nat_one_mul
import bend-osdev-u32@0.1.0.0/LAWS.bend as LAWSimport Base
272law nat_one_mul:
273 for +x: Nat
274 {Nat.mul(1n, x) == x : Nat}
import bend-osdev-u32@0.1.0.0/LAWS.bend as LAWSimport Base
272law nat_one_mul:
273 for +x: Nat
274 {Nat.mul(1n, x) == x : Nat}