Eager.loops: def of bolt@1.27.0.0
Import: import bolt@1.27.0.0/src/rules/suspicious/eager.bend as Eager
Lines 63-67 of bolt@1.27.0.0/src/rules/suspicious/eager.bend: https://jend.leeeet.dev/read.txt?path=bolt@1.27.0.0/src/rules/suspicious/eager.bend&start_line=63&end_line=67

import Base
import bolt@1.27.0.0/src/rules/calls.bend as Calls

# the defs of the file that loop: one that calls itself, or that reaches one
# that does (a def is defined above its use and there is no mutual recursion,
# so one pass down the file settles it)
def loops(ds: List<&2, Calls.Def>) -> List<&2, String>:
  loops.go(ds, [])

Uses (4):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/rules/calls.bend&name=Def
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/rules/suspicious/eager.bend&name=loops.go