Relock.add.next.add: def of ezx@1.11.0.0
Import: import ezx@1.11.0.0/src/ws/relock.bend as Relock
Lines 350-358 of ezx@1.11.0.0/src/ws/relock.bend: https://jend.leeeet.dev/read.txt?path=ezx@1.11.0.0/src/ws/relock.bend&start_line=350&end_line=358

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

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

Uses (6):
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/add/plan.bend&name=Next
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/add/relock.bend&name=Next
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/add/relock.bend&name=World
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/relock/relock.bend&name=refuses
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/ws/relock.bend&name=Rooted
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/ws/relock.bend&name=add.next.made