law nat_double
import bend-osdev-u32@0.1.0.0/LAWS.bend as LAWSimport Base
310law nat_double:
311 for +x: Nat
312 {Nat.double(x) == Nat.add(x, x) : Nat}
import bend-osdev-u32@0.1.0.0/LAWS.bend as LAWSimport Base
310law nat_double:
311 for +x: Nat
312 {Nat.double(x) == Nat.add(x, x) : Nat}