Phc.unb64: def of bend-collections@1.0.0.0
Import: import bend-collections@1.0.0.0/src/crypto/argon2/phc.bend as Phc
Lines 195-207 of bend-collections@1.0.0.0/src/crypto/argon2/phc.bend: https://jend.leeeet.dev/read.txt?path=bend-collections@1.0.0.0/src/crypto/argon2/phc.bend&start_line=195&end_line=207

import Base

# The bytes of canonical unpadded base64, or None.
def unb64(s: String) -> Maybe<&2, List<&2, U32>>:
  match s:
    case SNil{}:
      Some{Nil{}}
    case SCon{a, SNil{}}:
      None{}
    case SCon{a, SCon{b, SNil{}}}:
      dec2(value(a), value(b))
    case SCon{a, SCon{b, SCon{c, SNil{}}}}:
      dec3(value(a), value(b), value(c))
    case SCon{a, SCon{b, SCon{c, SCon{d, rest}}}}:
      dec4(value(a), value(b), value(c), value(d), unb64(rest))

Uses (8):
  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=String
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=bend-collections@1.0.0.0/src/crypto/argon2/phc.bend&name=dec2
  https://jend.leeeet.dev/definition.txt?path=bend-collections@1.0.0.0/src/crypto/argon2/phc.bend&name=dec3
  https://jend.leeeet.dev/definition.txt?path=bend-collections@1.0.0.0/src/crypto/argon2/phc.bend&name=dec4
  https://jend.leeeet.dev/definition.txt?path=bend-collections@1.0.0.0/src/crypto/argon2/phc.bend&name=value