law u32_not_sub
import bend-osdev-u32@0.1.0.0/LAWS.bend as LAWSimport Base
630law u32_not_sub:
631 for +a: U32
632 {U32.not(a) == U32.sub(4294967295, a) : U32}
import bend-osdev-u32@0.1.0.0/LAWS.bend as LAWSimport Base
630law u32_not_sub:
631 for +a: U32
632 {U32.not(a) == U32.sub(4294967295, a) : U32}