def remove.planned

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

import ezx@1.11.0.0/src/ws/relock.bend as Relock
import Base
import ezx@1.11.0.0/src/lock/plan.bend as LP
import ezx@1.11.0.0/src/remove/relock.bend as RR

422# `ez remove`'s plan, wherever it runs
423def remove.planned(ws: Ws, world: RR.World) -> LP.Plan:
424  match ws:
425    case Own{}:
426      RR.plan(world)
427    case Inside{+root}:
428      remove.plan(root, world)

Uses (5)

Used by (0)

No other definition uses this definition.