def reduce
import bend-collections@1.0.0.0/src/crypto/curve25519/field.bend as Fieldimport Base
123# 32 limbs below 2^27 to a tight element of the same value mod p
124def reduce(xs: List<&2, U32>) -> List<&2, U32>:
125 pass(pass(pass(xs)))
import bend-collections@1.0.0.0/src/crypto/curve25519/field.bend as Fieldimport Base
123# 32 limbs below 2^27 to a tight element of the same value mod p
124def reduce(xs: List<&2, U32>) -> List<&2, U32>:
125 pass(pass(pass(xs)))