B64.b64.tail: def of emerging-ezhttp@0.21.0.0
Import: import emerging-ezhttp@0.21.0.0/src/b64.bend as B64
Lines 40-46 of emerging-ezhttp@0.21.0.0/src/b64.bend: https://jend.leeeet.dev/read.txt?path=emerging-ezhttp@0.21.0.0/src/b64.bend&start_line=40&end_line=46

import Base

# four characters from a packed quantum; pad is how many `=` to write
def b64.tail(+n: U32, pad: Nat) -> String:
  match pad:
    case 0n:
      SCon{b64.at(U32.shrn(n, 6n)), SCon{b64.at(n), SNil{}}}
    case 1n+p:
      b64.tail.more(n, p)

Uses (6):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat
  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=Base/base.bend&name=U32.shrn
  https://jend.leeeet.dev/definition.txt?path=emerging-ezhttp@0.21.0.0/src/b64.bend&name=b64.at
  https://jend.leeeet.dev/definition.txt?path=emerging-ezhttp@0.21.0.0/src/b64.bend&name=b64.tail.more