Plan.origin.of: def of ezx@1.11.0.0
Import: import ezx@1.11.0.0/src/tool/plan.bend as Plan
Lines 602-611 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=602&end_line=611

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

# where the checkout came from, as a person named it: a remote's URL, or a
# path's real path
def origin.of(pl: Tgt.Place, +world: TW.World) -> String:
  match pl:
    case Tgt.Bad{_why}:
      ""
    case Tgt.Local{_p}:
      top(world)
    case Tgt.Remote{url, _slug}:
      url

Uses (4):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  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=top
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/tool/world.bend&name=World