def pp_of

bend-collections-laws-crypto@1.0.0.0 · proofs/crypto/curve25519/prime.bend:13

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

import Base
import bend-collections-laws-crypto@1.0.0.0/spec/lib/common.bend as C

13def pp_of(+one: Nat) -> Nat:
14  Nat.sub(C.shift(255n, one), 20n)

Uses (3)

Used by (6)