def shl_pick

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

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

238def shl_pick(+a: W.U64, +k: Nat, small: Bool) -> W.U64:
239  match small:
240    case True{}:
241      shl_lt(a, k)
242    case False{}:
243      shl_ge(a, k)