def mine

bolt@1.27.0.0 · src/lsp/report.bend:136

import Base

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