def next.add
import ezx@1.11.0.0/src/add/relock.bend as Relockimport Base
import ezx@1.11.0.0/src/add/plan.bend as AP
import ezx@1.11.0.0/src/relock/relock.bend as R
216def next.add(nx: AP.Next, +world: World) -> Next:
217 match nx:
218 case AP.AskGit{asks}:
219 AskGit{asks}
220 case AP.AskHub{asks}:
221 AskHub{asks}
222 case AP.Planned{pl}:
223 next.made(R.refuses(pl), world)