def freeze

import bend-collections-laws-crypto@1.0.0.0/src/crypto/curve25519/field.bend as Field

import Base

265# the canonical representative, below p: 2^256 < 3p
266def freeze(+x: List<&2, U32>) -> List<&2, U32>:
267  csub(csub(x))

Uses (3)