def modp

import bend-collections@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)