Plan.tip.chosen: def of ezx@1.11.0.0
Import: import ezx@1.11.0.0/src/add/plan.bend as Plan
Lines 167-174 of ezx@1.11.0.0/src/add/plan.bend: https://jend.leeeet.dev/read.txt?path=ezx@1.11.0.0/src/add/plan.bend&start_line=167&end_line=174

import Base
import ezx@1.11.0.0/src/add/world.bend as A
import ezx@1.11.0.0/src/git/git.bend as Git

# the tag chosen, through its peeled commit, or HEAD when none was
def tip.chosen(none: Bool, +chosen: String, +rows: List<&2, Git.Row>, +world: A.World) -> Tip:
  match none:
    case False{}:
      tip.found(Git.exact(rows, chosen),
        "ez: " ++ A.url(world) ++ " has no tag named " ++ chosen)
    case True{}:
      tip.head(said(world, QHead{}), world)

Uses (13):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  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/add/plan.bend&name=Q
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/add/plan.bend&name=Tip
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/add/plan.bend&name=said
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/add/plan.bend&name=tip.found
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/add/plan.bend&name=tip.head
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/add/world.bend&name=World
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/add/world.bend&name=url
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/git/git.bend&name=Row
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/git/git.bend&name=exact