B64.b64.dec.go: def of cswap-bend-cli@0.1.0.0
Import: import cswap-bend-cli@0.1.0.0/b64.bend as B64
Lines 181-191 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=181&end_line=191

import Base

# `fuel` is the input length, at least the number of quads.
def b64.dec.go(fuel: Nat, q: Quad) -> Maybe<&2, List<&2, U32>>:
  match fuel q:
    case _ QEnd{}:
      Some{[]}
    case _ QBad{}:
      None{}
    case 0n _:
      None{}
    case 1n+p Q{w, x, y, z, t}:
      b64.dec.quad(w, x, y, z, b64.dec.go(p, b64.quad.of(t)))

Uses (7):
  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=Nat
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/b64.bend&name=Quad
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/b64.bend&name=b64.dec.quad
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/b64.bend&name=b64.quad.of