def qq

bend-collections-laws-crypto@1.0.0.0 · proofs/crypto/poly1305/final.bend:166

import bend-collections-laws-crypto@1.0.0.0/proofs/crypto/poly1305/final.bend as Final

import Base
import bend-collections-laws-crypto@1.0.0.0/spec/lib/common.bend as C
import bend-collections-laws-crypto@1.0.0.0/proofs/crypto/poly1305/value.bend as V

166def qq(+h: List<&2, U32>) -> Nat:
167  C.high(130n, Nat.add(V.ev(h), 5n))

Uses (6)

Used by (10)