def next.leaf

emerging-ezjson@1.3.0.0 · src/pull.bend:1538

import Base

1538# the jumps one leaf of the budget allows. A plain word takes two (the burst
1539# and the jump back), so most events finish in one leaf. A leaf that runs out
1540# is not cut short: next.run resumes it in the next leaf
1541def next.leaf() -> Nat:
1542  4n