Lint.Program.callers.go: def of bend-lint-api@0.2.0.0
Import: import bend-lint-api@0.2.0.0/linter/lint.bend as Lint
Lines 1022-1037 of bend-lint-api@0.2.0.0/linter/lint.bend: https://jend.leeeet.dev/read.txt?path=bend-lint-api@0.2.0.0/linter/lint.bend&start_line=1022&end_line=1037

import Base

# Passes over the program until one adds nothing (`same`), or `fuel` runs out.
def Program.callers.go(
  fuel: Nat,
  same: Bool,
  +sources: List<&2, Source>,
  +defs: Map<&2, Maybe<&2, Def>>,
  +callers: Set()
) -> Set():
  match fuel same:
    case _ True{}:
      callers
    case 0n False{}:
      callers
    case 1n+f False{}:
      +next = Program.callers.pass(sources, defs, callers)
      Program.callers.go(f, Nat.is_eq(Set.size(callers), Set.size(next)), sources, defs, next)

Uses (11):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Map
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat.is_eq
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Set
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Set.size
  https://jend.leeeet.dev/definition.txt?path=bend-lint-api@0.2.0.0/linter/lint.bend&name=Def
  https://jend.leeeet.dev/definition.txt?path=bend-lint-api@0.2.0.0/linter/lint.bend&name=Program.callers.pass
  https://jend.leeeet.dev/definition.txt?path=bend-lint-api@0.2.0.0/linter/lint.bend&name=Source