def pp1

import bend-collections-laws-crypto@1.0.0.0/proofs/crypto/curve25519/proof.bend as Proof

import Base
import bend-collections-laws-crypto@1.0.0.0/proofs/crypto/curve25519/prime.bend as PR

33def pp1(+one: Nat) -> Nat:
34  PR.pp_of(one)

Uses (2)