def whole.ran

ezx@1.11.0.0 · src/lock/run.bend:440

import Base
import ezx@1.11.0.0/src/lock/up.bend as Up

440# a command of the checkout that worked goes on with it; one that failed ends
441# it
442def whole.ran(ok: Bool, +work: String, +why: String, go: Unit -> IO(Up.Answer)) -> IO(Up.Answer):
443  match ok:
444    case True{}:
445      go(Unit{})
446    case False{}:
447      whole.miss(work, why)