Noqa.run: def of bolt@1.27.0.0
Import: import bolt@1.27.0.0/src/noqa.bend as Noqa
Lines 122-128 of bolt@1.27.0.0/src/noqa.bend: https://jend.leeeet.dev/read.txt?path=bolt@1.27.0.0/src/noqa.bend&start_line=122&end_line=128

import Base

# the reader after the text
def run(tt: String, rd: Rd) -> Rd:
  match tt:
    case SNil{}:
      rd
    case SCon{cc, rest}:
      run(rest, step(cc, rd))

Uses (3):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/noqa.bend&name=Rd
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/noqa.bend&name=step