type Scope
import bend-lint-rules@0.2.0.0/performance/repeated_call.bend as RepeatedCallimport Base
import bend-lint-api@0.2.0.0/linter/lint.bend as Lint
import bend-lint-rules@0.2.0.0/performance/loop_invariant_call.bend as Invariant
33# What finding the calls of one definition reads: what performance/loop_invariant_call reads to judge them, with the
34# definitions of the file that call themselves (as the check names them), and the program's definitions, by the name
35# the check gives them.
36type Scope is Data:
37 Scope{owner: Invariant.Owner, defs: Map<&2, Maybe<&2, Lint.Def>>}