def target
import bolt@1.27.0.0/src/rules/digest.bend as Digestimport Base
import bolt@1.27.0.0/src/syntax/bind.bend as Bind
118# what the binder resolved a use to, as a mention onto the others: an item of
119# the law's own file, or an item of the file an import alias names; nothing
120# for a binder, a free name, or an alias no import names
121def target(tt: Bind.Target, +as: List<&2, Alias>, +file: String, more: List<&2, Mention>) -> List<&2, Mention>:
122 match tt:
123 case Bind.TItem{n}:
124 Mention{file, n} <> more
125 case Bind.TQual{a, n}:
126 aliased(alias_path(as, a), n, more)
127 case other:
128 more