def decide.early

ezx@1.11.0.0 · src/add/hub.bend:164

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

164# a refusal the ledger alone decides
165def decide.early(ok: Bool, +why: String, +world: A.World) -> Verdict:
166  match ok:
167    case True{}:
168      decide.name(heard(A.hubs(world), nv(world)), world)
169    case False{}:
170      Stop{why}