law popcount_not

bend-osdev-algo@0.1.0.0 · LAWS.bend:37

import Base
import bend-osdev-algo@0.1.0.0/algo.bend as A

37law popcount_not:
38  for x: U32
39  {Nat.add(A.bits32.popcount(x), A.bits32.popcount(U32.not(x))) == 32n : Nat}