~/jendhub

def next

ezx@1.11.0.0 · src/remove/relock.bend:77

import ezx@1.11.0.0/src/remove/relock.bend as Relock
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

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

Uses (6)

Used by (1)