def jam_pick

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

import Base
import bend-collections-laws-math@1.0.0.0/src/math/u64.bend as W

534def jam_pick(+a: W.U64, +k: Nat, huge: Bool) -> W.U64:
535  match huge:
536    case True{}:
537      W.U64{b32(Bool.not(is_zero(a))), 0}
538    case False{}:
539      or_bit(shr(a, k), Bool.not(eq(shl(shr(a, k), k), a)))