def add.next

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

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

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