def p
import bend-collections-laws-crypto@1.0.0.0/spec/crypto/poly1305.bend as Poly1305import Base
import bend-collections-laws-crypto@1.0.0.0/spec/lib/common.bend as C
23# p = 2^130 - 5
24def p() -> Nat:
25 Nat.sub(C.pow2(130n), 5n)
Uses (3)
Used by (0)
No other definition uses this definition.