def add_out
import bend-collections-laws-crypto@1.0.0.0/spec/crypto/secp256k1/curve.bend as Curveimport Base
98def add_out(+r: List<&2, Nat>) -> SPoint:
99 SPoint{nth(33n, r), nth(36n, r), nth(39n, r)}
import bend-collections-laws-crypto@1.0.0.0/spec/crypto/secp256k1/curve.bend as Curveimport Base
98def add_out(+r: List<&2, Nat>) -> SPoint:
99 SPoint{nth(33n, r), nth(36n, r), nth(39n, r)}