def neg
import bend-collections-laws-crypto@1.0.0.0/src/crypto/curve25519/field.bend as Fieldimport Base
192def neg(a: List<&2, U32>) -> List<&2, U32>:
193 sub(zero(), a)
Uses (4)
Used by (7)
- bend-collections-laws-crypto@1.0.0.0/src/crypto/ed25519/point:consts
- bend-collections-laws-crypto@1.0.0.0/proofs/crypto/ed25519/pcodec:r_d
- bend-collections-laws-crypto@1.0.0.0/src/crypto/ed25519/point:dec_fin
- bend-collections-laws-crypto@1.0.0.0/src/crypto/ed25519/point:dec_y
- bend-collections-laws-crypto@1.0.0.0/proofs/crypto/ed25519/pcodec:dval
- …