Noqa.step.after: def of bolt@1.27.0.0
Import: import bolt@1.27.0.0/src/noqa.bend as Noqa
Lines 92-103 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=92&end_line=103

import Base

# after a code: a space waits, a comma expects the next, anything else ends
# the list
def step.after(kk: Cls, +acc: List<&2, String>) -> Rd:
  match kk:
    case CSpace{}:
      Rd{After{}, [], acc}
    case CComma{}:
      Rd{Before{}, [], acc}
    case CCode{}:
      Rd{Past{}, [], acc}
    case COther{}:
      Rd{Past{}, [], acc}

Uses (5):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  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=Cls
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/noqa.bend&name=Phase
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/noqa.bend&name=Rd