Noqa.finish.at: def of bolt@1.27.0.0
Import: import bolt@1.27.0.0/src/noqa.bend as Noqa
Lines 130-140 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=130&end_line=140

import Base

# the codes read, in order, the one still being read included
def finish.at(ph: Phase, +buf: List<&2, Char>, +acc: List<&2, String>) -> List<&2, String>:
  match ph:
    case Before{}:
      List.reverse(&2, String, acc)
    case Inside{}:
      List.reverse(&2, String, word(buf) <> acc)
    case After{}:
      List.reverse(&2, String, acc)
    case Past{}:
      List.reverse(&2, String, acc)

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