def dbl_out
import bend-collections@1.0.0.0/src/crypto/secp256k1/point.bend as Pointimport Base
88def dbl_out(+r: List<&2, List<&2, Nat>>) -> Point:
89 Point{nth(21n, r), nth(18n, r), nth(13n, r)}
import bend-collections@1.0.0.0/src/crypto/secp256k1/point.bend as Pointimport Base
88def dbl_out(+r: List<&2, List<&2, Nat>>) -> Point:
89 Point{nth(21n, r), nth(18n, r), nth(13n, r)}