def bl_step
import bend-collections@1.0.0.0/src/math/w64.bend as W64import 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))
import bend-collections@1.0.0.0/src/math/w64.bend as W64import 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))