World.judge: def of ezx@1.11.0.0
Import: import ezx@1.11.0.0/src/lock/world.bend as World
Lines 394-401 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=394&end_line=401

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

# every reply judged, in the order they were given
def judge(+orgs: List<&2, L.Origin>, +hub: String, rs: List<&2, Reply>) -> List<&2, Judged>:
  match rs:
    case []:
      []
    case Reply{ask, answer} <> t:
      +hash = ask.hash(ask)
      Judged{hash, accept(orgs, hub, hash, answer)} <> judge(orgs, hub, t)

Uses (7):
  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/world.bend&name=Judged
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/lock/world.bend&name=Reply
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/lock/world.bend&name=accept
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/lock/world.bend&name=ask.hash