Relock.add.next: def of ezx@1.11.0.0
Import: import ezx@1.11.0.0/src/ws/relock.bend as Relock
Lines 360-367 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=360&end_line=367

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

# what the interpreter does next for `ez add`: in a project of its own, what
# add/relock.bend says; in a workspace, the add, then the root's lock
def add.next(ws: Ws, +world: AR.World) -> AR.Next:
  match ws:
    case Own{}:
      AR.next(world)
    case Inside{+root}:
      add.next.add(AP.next(AR.add(world)), root, world)

Uses (7):
  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/add/relock.bend&name=add
  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/ws/relock.bend&name=Ws
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/ws/relock.bend&name=add.next.add