law vec_popcount

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

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

321law vec_popcount:
322  {A.bits32.popcount(4294967295) == 32n : Nat}