Pull.next.levels: def of emerging-ezjson@1.3.0.0
Import: import emerging-ezjson@1.3.0.0/src/pull.bend as Pull
Lines 1442-1449 of emerging-ezjson@1.3.0.0/src/pull.bend: https://jend.leeeet.dev/read.txt?path=emerging-ezjson@1.3.0.0/src/pull.bend&start_line=1442&end_line=1449

import Base

# the levels of the walk's budget: next.grow runs levels 0 to 32 of leaves of
# next.leaf() jumps, so a walk may jump back from a plain word 4 (2^33 - 1)
# times, more than the 2^32 - 1 it had. A byte step keeps the count
# and shrinks the suffix instead, so a long string does not burn it. The
# levels, not the count, are the literal, so a proof about `next` never
# expands four billion successors
def next.levels() -> Nat:
  33n

Uses (1):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat