def neg
import bend-collections@1.0.0.0/src/crypto/secp256k1/field.bend as Fieldimport Base
58# (one argument: nothing to look at first)
59def neg(a: List<&2, Nat>) -> List<&2, Nat>:
60 neg_u(a)
import bend-collections@1.0.0.0/src/crypto/secp256k1/field.bend as Fieldimport Base
58# (one argument: nothing to look at first)
59def neg(a: List<&2, Nat>) -> List<&2, Nat>:
60 neg_u(a)