Relock.next: def of ezx@1.11.0.0
Import: import ezx@1.11.0.0/src/add/relock.bend as Relock
Lines 225-227 of ezx@1.11.0.0/src/add/relock.bend: https://jend.leeeet.dev/read.txt?path=ezx@1.11.0.0/src/add/relock.bend&start_line=225&end_line=227

import Base
import ezx@1.11.0.0/src/add/plan.bend as AP

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

Uses (5):
  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/relock.bend&name=Next
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/add/relock.bend&name=World
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/add/relock.bend&name=add
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/add/relock.bend&name=next.add