def rounds

ezx@1.11.0.0 · src/pub/run.bend:91

import Base

91# the rounds the loop may take. The walk asks for one file a round and cannot
92# know how many the package holds until it has read them, so this is a guard
93# against a planner that keeps asking, not a limit on a package: running out
94# of it dies loudly.
95def rounds() -> Nat:
96  U32.to_nat(100000)