def lc.bit
import bend-osdev-cipher-core@0.1.0.0/cipher_core.bend as CipherCoreimport Base
54# bit i of x (0 the least significant), as 0 or 1
55def lc.bit(x: U32, i: Nat) -> U32:
56 U32.and(1, U32.shrn(x, i))
import bend-osdev-cipher-core@0.1.0.0/cipher_core.bend as CipherCoreimport Base
54# bit i of x (0 the least significant), as 0 or 1
55def lc.bit(x: U32, i: Nat) -> U32:
56 U32.and(1, U32.shrn(x, i))