def rounds

ezx@1.11.0.0 · src/add/run.bend:61

import Base
import ezx@1.11.0.0/src/lock/run.bend as Run

61# the rounds the loop may take. The add asks at most three rounds for a git
62# target and two for a name; the lock after it asks a round per level of the
63# import graph, as `ez lock` does (`Run.rounds`). This is only a guard against
64# a planner that keeps asking, and running out of it dies loudly.
65def rounds() -> Nat:
66  U32.to_nat(100000)