def add.next.add

ezx@1.11.0.0 · src/ws/relock.bend:350

import Base
import ezx@1.11.0.0/src/relock/relock.bend as R
import ezx@1.11.0.0/src/add/plan.bend as AP
import ezx@1.11.0.0/src/add/relock.bend as AR

350# the add's own step: its questions, or its plan made
351def add.next.add(nx: AP.Next, +root: Rooted, +world: AR.World) -> AR.Next:
352  match nx:
353    case AP.AskGit{asks}:
354      AR.AskGit{asks}
355    case AP.AskHub{asks}:
356      AR.AskHub{asks}
357    case AP.Planned{pl}:
358      add.next.made(R.refuses(pl), root, world)