Target.aim.place: def of ezx@1.11.0.0
Import: import ezx@1.11.0.0/src/ez/target.bend as Target
Lines 404-414 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=404&end_line=414

import Base
import ezx@1.11.0.0/src/pkg/pkg.bend as K

# the place read, with only a path asked whether it is a name. A URL, a
# `git@host:path` and an `owner/repo` are never read again, so nothing that
# was a remote becomes a name.
def aim.place(place: Place, +text: String) -> Aim:
  match place:
    case Bad{why}:
      Placed{Bad{why}}
    case Local{path}:
      aim.local(K.name.ok(text), text, path)
    case Remote{url, slug}:
      Placed{Remote{url, slug}}

Uses (5):
  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=Aim
  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/ez/target.bend&name=aim.local
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/pkg/pkg.bend&name=name.ok