type Want
import bend-lint-pack@0.1.1.0/vendor/lint.bend as Lintimport Base
47# The facts a rule needs. A fact must match each list; an empty list
48# matches all. kinds: the term's kind, annotations stripped (Var, Ref, App,
49# ...). defs: the def whose body holds the term (a template's instances
50# count as the template). names: the name a Var or Ref points to.
51type Want is Data:
52 NoFacts{}
53 Want{scope: Scope, kinds: List<&2, String>, defs: List<&2, String>, names: List<&2, String>}