Report.diag: def of bolt@1.27.0.0
Import: import bolt@1.27.0.0/src/lsp/report.bend as Report
Lines 154-157 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=154&end_line=157

import Base

# an error placed, by the checked file's names
def diag(names: Maybe<&2, List<&2, String>>, rr: Raw) -> Diag:
  Raw{+place, line, body} = rr
  diag.at(mine(names, place), place, line, body)

Uses (7):
  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=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=Raw
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/lsp/report.bend&name=diag.at
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/lsp/report.bend&name=mine