Report.parse_in: def of bolt@1.27.0.0
Import: import bolt@1.27.0.0/src/lsp/report.bend as Report
Lines 167-170 of bolt@1.27.0.0/src/lsp/report.bend: https://jend.leeeet.dev/read.txt?path=bolt@1.27.0.0/src/lsp/report.bend&start_line=167&end_line=170

import Base

# the checker's text as diagnostics, placed by the checked file's names when
# they are known
def parse_in(+names: Maybe<&2, List<&2, String>>, text: String) -> List<&2, Diag>:
  diags(finish(run(String.lines(text), St{False{}, False{}, [], 0, "", []})), names)

Uses (10):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String.lines
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/lsp/report.bend&name=Diag
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/lsp/report.bend&name=St
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/lsp/report.bend&name=diags
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/lsp/report.bend&name=finish
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/lsp/report.bend&name=run