def b64.quad.pick
cswap-bend-cli@0.1.0.0 · b64.bend:130
import cswap-bend-cli@0.1.0.0/b64.bend as B64
import Base
130def b64.quad.pick(ok: Bool, p3: Bool, p4: Bool, +w: U32, +x: U32, +y: U32, +z: U32,
131 rest: Maybe<&2, List<&2, U32>>) -> Maybe<&2, List<&2, U32>>:
132 match ok rest:
133 case False{} _:
134 None{}
135 case True{} None{}:
136 None{}
137 case True{} Some{r}:
138 b64.quad.emit(p3, p4, ((w << 2n) .|. (x >> 4n) : U32), (((x .&. 15) << 4n) .|. (y >> 2n) : U32),
139 (((y .&. 3) << 6n) .|. z : U32), r)