def decide.early

ezx@1.11.0.0 · src/add/plan.bend:367

import Base
import ezx@1.11.0.0/src/add/world.bend as A

367# a name refused before anything is asked
368def decide.early(ok: Bool, +why: String, +world: A.World) -> Verdict:
369  match ok:
370    case True{}:
371      decide.tip(tip(world), world)
372    case False{}:
373      Stop{why}