Up.plan.at: def of ezx@1.11.0.0
Import: import ezx@1.11.0.0/src/ws/up.bend as Up
Lines 373-388 of ezx@1.11.0.0/src/ws/up.bend: https://jend.leeeet.dev/read.txt?path=ezx@1.11.0.0/src/ws/up.bend&start_line=373&end_line=388

import Base
import ezx@1.11.0.0/src/lock/world.bend as LW
import ezx@1.11.0.0/src/lock/plan.bend as LP
import ezx@1.11.0.0/src/ws/moved.bend as Mv

# what `ez lock` runs at a workspace root, under `--upgrade` or not
def plan.at(up: Bool, +back: Back, +world: LW.World) -> LP.Plan:
  match up:
    case True{}:
      match back:
        case Alone{}:
          LP.plan(world)
        case Back{+text, +spec, +fs, +lock}:
          plan.up(up.of(text, fs, lock, world), Back{text, spec, fs, lock})
    case False{}:
      match back:
        case Alone{}:
          LP.plan(world)
        case Back{_text, _spec, _fs, +lock}:
          +why = Mv.stale.world(lock, world)
          plan.plain(String.is_empty(why), why, world)

Uses (10):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String.is_empty
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/lock/plan.bend&name=Plan
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/lock/plan.bend&name=plan
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/lock/world.bend&name=World
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/ws/moved.bend&name=stale.world
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/ws/up.bend&name=Back
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/ws/up.bend&name=plan.plain
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/ws/up.bend&name=plan.up
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/ws/up.bend&name=up.of