law vec_forty

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

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

327law vec_forty:
328  {(A.bits32.ffs(40), A.bits32.fls(40), A.bits32.ctz(40), A.bits32.clz(40)) == (4n, 6n, 3n, 26n) : Nat & Nat & Nat & Nat}