def dbl_out
import bend-collections-laws-crypto@1.0.0.0/spec/crypto/secp256k1/curve.bend as Curveimport Base
106def dbl_out(+r: List<&2, Nat>) -> SPoint:
107 SPoint{nth(21n, r), nth(18n, r), nth(13n, r)}
import bend-collections-laws-crypto@1.0.0.0/spec/crypto/secp256k1/curve.bend as Curveimport Base
106def dbl_out(+r: List<&2, Nat>) -> SPoint:
107 SPoint{nth(21n, r), nth(18n, r), nth(13n, r)}