Plan.decide.said: def of ezx@1.13.0.0
Import: import ezx@1.13.0.0/src/tool/plan.bend as Plan
Lines 972-979 of ezx@1.13.0.0/src/tool/plan.bend: https://jend.leeeet.dev/read.txt?path=ezx@1.13.0.0/src/tool/plan.bend&start_line=972&end_line=979

import Base
import ezx@1.13.0.0/src/tool/world.bend as TW
import ezx@1.13.0.0/src/lock/up.bend as Up
import ezx@1.13.0.0/src/git/git.bend as Git

def decide.said(said: Up.Said, +url: String, +world: TW.World) -> Verdict:
  match said:
    case Up.Said{_text}:
      decide.tip(Git.is_rev(rev(world)), url, world)
    case Up.Unsaid{why}:
      Stop{why}
    case Up.Unasked{ask}:
      Pending{[], [ask]}

Uses (8):
  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=ezx@1.13.0.0/src/git/git.bend&name=is_rev
  https://jend.leeeet.dev/definition.txt?path=ezx@1.13.0.0/src/lock/up.bend&name=Said
  https://jend.leeeet.dev/definition.txt?path=ezx@1.13.0.0/src/tool/plan.bend&name=Verdict
  https://jend.leeeet.dev/definition.txt?path=ezx@1.13.0.0/src/tool/plan.bend&name=decide.tip
  https://jend.leeeet.dev/definition.txt?path=ezx@1.13.0.0/src/tool/plan.bend&name=rev
  https://jend.leeeet.dev/definition.txt?path=ezx@1.13.0.0/src/tool/world.bend&name=World