def rounds

ezx@1.11.0.0 · src/fetch/run.bend:93

import Base

93# the rounds the loop may take. A package asks at most twice, for its tree
94# under BEND_LIB and for its fetch, and a round asks for every package at
95# once, so this is only a guard against a planner that keeps asking, and
96# running out of it dies loudly.
97def rounds() -> Nat:
98  U32.to_nat(10)