Plan.label.of: def of ezx@1.11.0.0
Import: import ezx@1.11.0.0/src/tool/plan.bend as Plan
Lines 522-530 of ezx@1.11.0.0/src/tool/plan.bend: https://jend.leeeet.dev/read.txt?path=ezx@1.11.0.0/src/tool/plan.bend&start_line=522&end_line=530

import Base
import ezx@1.11.0.0/src/tool/world.bend as TW
import ezx@1.11.0.0/src/ez/target.bend as Tgt

# the checkout, as a person knows it: a remote at its commit, or a path
def label.of(pl: Tgt.Place, +world: TW.World) -> String:
  match pl:
    case Tgt.Bad{why}:
      why
    case Tgt.Local{_p}:
      top(world)
    case Tgt.Remote{url, _slug}:
      url ++ " at " ++ rev(world)

Uses (6):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String.append
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/ez/target.bend&name=Place
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/tool/plan.bend&name=rev
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/tool/plan.bend&name=top
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/tool/world.bend&name=World