Target.show: def of ezx@1.11.0.0
Import: import ezx@1.11.0.0/src/ez/target.bend as Target
Lines 448-456 of ezx@1.11.0.0/src/ez/target.bend: https://jend.leeeet.dev/read.txt?path=ezx@1.11.0.0/src/ez/target.bend&start_line=448&end_line=456

import Base

# a place on one line, for a proof to read
def show(place: Place) -> String:
  match place:
    case Bad{why}:
      "bad " ++ why
    case Local{path}:
      "local " ++ path
    case Remote{url, slug}:
      "remote " ++ url ++ " " ++ slug

Uses (3):
  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