def loops
import bolt@1.27.0.0/src/rules/suspicious/eager.bend as Eagerimport Base
import bolt@1.27.0.0/src/rules/calls.bend as Calls
63# the defs of the file that loop: one that calls itself, or that reaches one
64# that does (a def is defined above its use and there is no mutual recursion,
65# so one pass down the file settles it)
66def loops(ds: List<&2, Calls.Def>) -> List<&2, String>:
67 loops.go(ds, [])