def decide.stop

ezx@1.11.0.0 · src/lock/plan.bend:693

import Base
import ezx@1.11.0.0/src/lock/world.bend as W
import ezx@1.11.0.0/src/ledger/manifest.bend as M

693# an upgrade that refused, or still asks, stops the lock before anything else
694def decide.stop(clean: Bool, +stop: String, +led: M.Read, listing: W.Listing, +js: List<&2, W.Judged>) -> Doc:
695  match clean:
696    case True{}:
697      decide.led(led, listing, js)
698    case False{}:
699      Stop{stop}