def lc.bit
import bend-osdev-legacy-ciphers@0.1.0.0/legacy_ciphers.bend as LegacyCiphersimport Base
57# bit i of x (0 the least significant), as 0 or 1
58def lc.bit(x: U32, i: Nat) -> U32:
59 U32.and(1, U32.shrn(x, i))
import bend-osdev-legacy-ciphers@0.1.0.0/legacy_ciphers.bend as LegacyCiphersimport Base
57# bit i of x (0 the least significant), as 0 or 1
58def lc.bit(x: U32, i: Nat) -> U32:
59 U32.and(1, U32.shrn(x, i))