~/jendhub

def agreed

ezx@1.11.0.0 · src/pub/plan.bend:622

import ezx@1.11.0.0/src/pub/plan.bend as Plan
import Base
import ezx@1.11.0.0/src/pub/world.bend as PW

622# whether the World's upload agrees with the hash ez computed
623def agreed(+world: PW.World) -> Bool:
624  agreed.of(uploaded(world), hash(world))

Uses (5)

Used by (1)