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

import Base
import ezx@1.11.0.0/src/lock/up.bend as Up

# every package answer judged against the ledger the lock is made from
def judged.of(+nx: Up.Next, replies: List<&2, Reply>) -> List<&2, Judged>:
  List.append(&2, Judged,
    judge(next.origins(nx), next.hub(nx),
      laid.replies(Up.next.trees(nx), next.origins(nx), next.hub(nx))),
    judge(next.origins(nx), next.hub(nx), replies))

Uses (10):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List.append
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/lock/up.bend&name=Next
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/lock/up.bend&name=next.trees
  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=judge
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/lock/world.bend&name=laid.replies
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/lock/world.bend&name=next.hub
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/lock/world.bend&name=next.origins