Hub.decide.early: def of ezx@1.11.0.0
Import: import ezx@1.11.0.0/src/add/hub.bend as Hub
Lines 164-170 of ezx@1.11.0.0/src/add/hub.bend: https://jend.leeeet.dev/read.txt?path=ezx@1.11.0.0/src/add/hub.bend&start_line=164&end_line=170

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

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

Uses (8):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/add/hub.bend&name=Verdict
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/add/hub.bend&name=decide.name
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/add/hub.bend&name=heard
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/add/hub.bend&name=nv
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/add/world.bend&name=World
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/add/world.bend&name=hubs