def choose
import bend-collections-laws-crypto@1.0.0.0/src/crypto/sha/core.bend as Coreimport Base
37def choose(+x: U32, y: U32, z: U32) -> U32:
38 ((x .&. y) .^. (U32.not(x) .&. z) : U32)
import bend-collections-laws-crypto@1.0.0.0/src/crypto/sha/core.bend as Coreimport Base
37def choose(+x: U32, y: U32, z: U32) -> U32:
38 ((x .&. y) .^. (U32.not(x) .&. z) : U32)