Noqa.mark.rest: def of bolt@1.27.0.0
Import: import bolt@1.27.0.0/src/noqa.bend as Noqa
Lines 159-170 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=159&end_line=170

import Base

# a comment's text past `noqa`: a mark naming the codes after a `:`, a bare
# one at the end or before a space, and none for anything else (`noqas`)
def mark.rest(+line: U32, +col: U32, +len: U32, tt: String) -> List<&2, Mark>:
  match tt:
    case SNil{}:
      [Mark{line, col, len, []}]
    case SCon{':', rest}:
      [Mark{line, col, len, codes(rest)}]
    case SCon{' ', _rest}:
      [Mark{line, col, len, []}]
    case other:
      []

Uses (9):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  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=String
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Word.Con
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Word.Nil
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/noqa.bend&name=Mark
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/noqa.bend&name=codes