def next.made

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

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

69# the remove refused is the plan; otherwise the lock is next
70def next.made(refused: Bool, +world: World) -> Next:
71  match refused:
72    case True{}:
73      Planned{plan(world)}
74    case False{}:
75      next.lock(P.step(lock.world(world)), world)