World.accept: def of ezx@1.11.0.0
Import: import ezx@1.11.0.0/src/lock/world.bend as World
Lines 382-392 of ezx@1.11.0.0/src/lock/world.bend: https://jend.leeeet.dev/read.txt?path=ezx@1.11.0.0/src/lock/world.bend&start_line=382&end_line=392

import Base
import ezx@1.11.0.0/src/lock/lock.bend as L

# one answer judged
def accept(+orgs: List<&2, L.Origin>, +hub: String, +hash: String, answer: Answer) -> Verdict:
  match answer:
    case Miss{why}:
      No{miss.src(L.origin(orgs, hash), L.known(orgs, hash), hash, hub, why)}
    case Got{how, manifest, ss}:
      accept.src(L.origin(orgs, hash), how, hash, manifest, ss)
    case Said{text}:
      said(hash, hub, text)
    case Locked{text}:
      locked(text)

Uses (11):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  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/lock/lock.bend&name=Origin
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/lock/lock.bend&name=known
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/lock/lock.bend&name=origin
  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=Verdict
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/lock/world.bend&name=accept.src
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/lock/world.bend&name=locked
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/lock/world.bend&name=miss.src
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/lock/world.bend&name=said