Plan.decide.tip: def of ezx@1.11.0.0
Import: import ezx@1.11.0.0/src/add/plan.bend as Plan
Lines 357-365 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=357&end_line=365

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

# what the ref names, then the checkout at it
def decide.tip(tip: Tip, +world: A.World) -> Verdict:
  match tip:
    case At{+rev}:
      decide.co(co.at(world, rev), rev)
    case TipAsk{q}:
      Pending{[q]}
    case TipNo{why}:
      Stop{why}

Uses (6):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  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=Verdict
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/add/plan.bend&name=co.at
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/add/plan.bend&name=decide.co
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/add/world.bend&name=World