def add_out
import bend-collections@1.0.0.0/src/crypto/secp256k1/point.bend as Pointimport Base
80def add_out(+r: List<&2, List<&2, Nat>>) -> Point:
81 Point{nth(33n, r), nth(36n, r), nth(39n, r)}
import bend-collections@1.0.0.0/src/crypto/secp256k1/point.bend as Pointimport Base
80def add_out(+r: List<&2, List<&2, Nat>>) -> Point:
81 Point{nth(33n, r), nth(36n, r), nth(39n, r)}