B64.b64.quad.pick: def of cswap-bend-cli@0.1.0.0
Import: import cswap-bend-cli@0.1.0.0/b64.bend as B64
Lines 130-139 of cswap-bend-cli@0.1.0.0/b64.bend: https://jend.leeeet.dev/read.txt?path=cswap-bend-cli@0.1.0.0/b64.bend&start_line=130&end_line=139

import Base

def b64.quad.pick(ok: Bool, p3: Bool, p4: Bool, +w: U32, +x: U32, +y: U32, +z: U32,
  rest: Maybe<&2, List<&2, U32>>) -> Maybe<&2, List<&2, U32>>:
  match ok rest:
    case False{} _:
      None{}
    case True{} None{}:
      None{}
    case True{} Some{r}:
      b64.quad.emit(p3, p4, ((w << 2n) .|. (x >> 4n) : U32), (((x .&. 15) << 4n) .|. (y >> 2n) : U32),
        (((y .&. 3) << 6n) .|. z : U32), r)

Uses (9):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.and
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.or
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.shln
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.shrn
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/b64.bend&name=b64.quad.emit