def body.sums

ezx@1.11.0.0 · src/lock/world.bend:213

import Base
import ezx@1.11.0.0/src/pkg/pkg.bend as K

213# the verdict once the texts were weighed against the manifest
214def body.sums(ok: Bool, +hash: String, +fs: List<&2, K.Item>, +ss: List<&2, String>) -> Verdict:
215  match ok:
216    case True{}:
217      body.laid(String.eq(hash, named(laid(fs, ss))), hash, fs, ss)
218    case False{}:
219      No{"ez: " ++ hash ++ ": a file does not match its manifest"}