Noqa.of_srcs: def of bolt@1.27.0.0
Import: import bolt@1.27.0.0/src/noqa.bend as Noqa
Lines 208-214 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=208&end_line=214

import Base
import bolt@1.27.0.0/src/src.bend as Src

# each source's marks, in order
def of_srcs(ss: List<&2, Src.Src>) -> List<&2, Marks>:
  match ss:
    case Nil{}:
      Nil{}
    case Con{Src.Src{path, _text, toks, _tree, _bound, _items}, rest}:
      file(path, toks) <> of_srcs(rest)

Uses (4):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/noqa.bend&name=Marks
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/noqa.bend&name=file
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/src.bend&name=Src