~/jendhub

def next.made

ezx@1.11.0.0 · src/add/relock.bend:208

import ezx@1.11.0.0/src/add/relock.bend as Relock
import Base
import ezx@1.11.0.0/src/lock/plan.bend as P

208# the add's plan made: refused, it is the plan; otherwise the lock is next
209def next.made(refused: Bool, +world: World) -> Next:
210  match refused:
211    case True{}:
212      Planned{plan(world)}
213    case False{}:
214      next.lock(P.step(lock.world(world)), world)

Uses (7)

Used by (1)