def rounds

ezx@1.11.0.0 · src/doctor/run.bend:109

import Base

109# the rounds the loop may take. The lock check's trees follow the sources
110# and each other, and the packages they reach are not known until BEND_LIB
111# has answered, so this is a guard against a planner that keeps asking, not
112# a limit on a project: running out of it dies loudly.
113def rounds() -> Nat:
114  U32.to_nat(100000)