~/jendhub

def rounds

ezx@1.11.0.0 · src/tool/run.bend:277

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

277# the rounds the loop may take. The planner asks at most five rounds, so this
278# is only a guard against a planner that keeps asking, and running out of it
279# dies loudly.
280def rounds() -> Nat:
281  U32.to_nat(100)

Uses (2)

Used by (1)