Hub.decide.name: def of ezx@1.11.0.0
Import: import ezx@1.11.0.0/src/add/hub.bend as Hub
Lines 147-153 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=147&end_line=153

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

# the name, once it is asked of the hub
def decide.name(got: Maybe<&2, W.Answer>, +world: A.World) -> Verdict:
  match got:
    case None{}:
      Pending{[W.Name{nv(world), A.hub(world)}]}
    case Some{answer}:
      decide.said(answer, world)

Uses (9):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe
  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.said
  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=hub
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/lock/world.bend&name=Answer
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/lock/world.bend&name=Ask