def pp1

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

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

31def pp1(+one: Nat) -> Nat:
32  PRM.pp_of(one)

Uses (2)