type Next

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

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

56# what the interpreter does next: answer the lock's questions, or run the plan
57type Next is Data:
58  AskLock{asks: List<&2, W.Ask>}
59  Planned{plan: P.Plan}