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

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

# a package's bytes, checked the same way whatever they came from: the
# manifest is the one the `0x` name is the digest of, no path leaves the
# package, each text hashes to its file's sum, and the files, weighed by their
# own texts, hash to the name, which is `ez fetch`'s check too. A tree under
# BEND_LIB is checked against its name like any other, so a stale or edited
# tree there is refused rather than locked.
def body(+hash: String, +manifest: String, +ss: List<&2, String>) -> Verdict:
  body.named(Web.matches(L.want(hash), manifest), hash, manifest, ss)

Uses (6):
  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/hub/hub.bend&name=matches
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/lock/lock.bend&name=want
  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=body.named