~/jendhub

def modp

bend-collections-laws-crypto@1.0.0.0 · spec/crypto/poly1305.bend:48

import bend-collections-laws-crypto@1.0.0.0/spec/crypto/poly1305.bend as Poly1305
import Base

48# x mod p
49def modp(+x: Nat) -> Nat:
50  canon(folds(x, x))

Uses (3)

Used by (6)