Plan.next: def of ezx@1.11.0.0
Import: import ezx@1.11.0.0/src/add/plan.bend as Plan
Lines 818-820 of ezx@1.11.0.0/src/add/plan.bend: https://jend.leeeet.dev/read.txt?path=ezx@1.11.0.0/src/add/plan.bend&start_line=818&end_line=820

import Base
import ezx@1.11.0.0/src/add/world.bend as A

# what the interpreter does next on a World
def next(+world: A.World) -> Next:
  next.of(A.named(world), world)

Uses (4):
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/add/plan.bend&name=Next
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/add/plan.bend&name=next.of
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/add/world.bend&name=World
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/add/world.bend&name=named