Plan.decide.led: def of ezx@1.11.0.0
Import: import ezx@1.11.0.0/src/pub/plan.bend as Plan
Lines 1177-1183 of ezx@1.11.0.0/src/pub/plan.bend: https://jend.leeeet.dev/read.txt?path=ezx@1.11.0.0/src/pub/plan.bend&start_line=1177&end_line=1183

import Base
import ezx@1.11.0.0/src/pub/world.bend as PW

# the ledger: an entry, or why there is none
def decide.led(ledger: Led, +world: PW.World) -> Verdict:
  match ledger:
    case Led{_e, _nv}:
      decide.status(status(world), world)
    case LedNo{why}:
      Stop{why}

Uses (5):
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/pub/plan.bend&name=Led
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/pub/plan.bend&name=Verdict
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/pub/plan.bend&name=decide.status
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/pub/plan.bend&name=status
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/pub/world.bend&name=World