def limit

bolt@1.27.0.0 · src/lint/plan.bend:124

import Base

124# how many directories the walk reads at most; past it the walk stops,
125# silently. A literal, not `U32.to_nat(100000)`: the checker keeps a literal
126# whole and steps it one at a time, so laws/ScopeWalksWholeTree.bend's law can name the bound,
127# where it would expand the call in unary and overflow. The compiler emits
128# the same `U32.to_nat` for either.
129def limit() -> Nat:
130  100000n