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

import Base

# an error placed: on its marked line, 0-based, in the checked file; on line
# 0, its message headed by where it is, in another file
def diag.at(+own: Bool, +place: String, +line: U32, +body: String) -> Diag:
  Diag{Bool.pick(U32, Bool.or(Bool.not(own), U32.is_eq(line, 0)), 0, (line - 1 : U32)),
    Bool.pick(String, own, body, "in " ++ place ++ ":\n" ++ body)}

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=Bool.not
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool.or
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool.pick
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String.append
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.is_eq
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.sub
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/lsp/report.bend&name=Diag