def clamp
import bend-collections-laws-crypto@1.0.0.0/spec/crypto/poly1305.bend as Poly1305import Base
94def clamp(r: List<&2, U32>) -> List<&2, U32>:
95 clamp_from(r, 0n)
Uses (3)
Used by (5)
- bend-collections-laws-crypto@1.0.0.0/spec/crypto/poly1305:poly1305_mac
- bend-collections-laws-crypto@1.0.0.0/proofs/crypto/poly1305/mac:mac_length
- bend-collections-laws-crypto@1.0.0.0/proofs/crypto/poly1305/mac:r_ev
- bend-collections-laws-crypto@1.0.0.0/proofs/crypto/poly1305/mac:tag_main
- bend-collections-laws-crypto@1.0.0.0/proofs/crypto/poly1305/laws:mac_poly