def decide.led

ezx@1.11.0.0 · src/pub/plan.bend:1177

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

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