~/jendhub

def bl_step

bend-collections-laws-crypto@1.0.0.0 · src/math/w64.bend:216

import bend-collections-laws-crypto@1.0.0.0/src/math/w64.bend as W64
import Base

216def bl_step(+k: Nat, st: Nat & U32) -> Nat & U32:
217  (+base, +x) = st
218  bl_pick(x, pow2(k), k, base, U32.is_le(pow2(k), x))

Uses (7)

Used by (10)