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

import Base

# is an error at this place in the checked file? With the file's names
# (bend's keys for its items, checker/names.bend): when the place is one of
# them or names nothing. Without them: when the place holds no path. bend
# names a def of an import beside the file with no path (`m.g`), so only
# the names tell it from a def `m.g` of the file
def mine(names: Maybe<&2, List<&2, String>>, +place: String) -> Bool:
  match names:
    case None{}:
      Bool.not(String.contains(place, "/"))
    case Some{ks}:
      Bool.or(String.is_empty(place), owns(ks, stem(place)))

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=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.contains
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String.is_empty
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/lsp/report.bend&name=owns
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/lsp/report.bend&name=stem