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

import Base
import ezx@1.11.0.0/src/remove/plan.bend as RP
import ezx@1.11.0.0/src/relock/relock.bend as R

# what the interpreter does next on a World
def next(+world: World) -> Next:
  next.made(R.refuses(RP.plan(remove(world))), world)

Uses (6):
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/relock/relock.bend&name=refuses
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/remove/plan.bend&name=plan
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/remove/relock.bend&name=Next
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/remove/relock.bend&name=World
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/remove/relock.bend&name=next.made
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/remove/relock.bend&name=remove