Point.dbl_prog: def of bend-collections@1.0.0.0
Import: import bend-collections@1.0.0.0/src/crypto/secp256k1/point.bend as Point
Lines 69-75 of bend-collections@1.0.0.0/src/crypto/secp256k1/point.bend: https://jend.leeeet.dev/read.txt?path=bend-collections@1.0.0.0/src/crypto/secp256k1/point.bend&start_line=69&end_line=75

import Base

# RCB 2016 Algorithm 9 (a = 0): registers X Y Z b3 = 0..3; the result is
# X3 Y3 Z3 = registers 21, 18, 13.
def dbl_prog() -> List<&2, Op>:
  [OMul{1n, 1n}, OAdd{4n, 4n}, OAdd{5n, 5n}, OAdd{6n, 6n}, OMul{1n, 2n},
   OMul{2n, 2n}, OMul{3n, 9n}, OMul{10n, 7n}, OAdd{4n, 10n}, OMul{8n, 7n},
   OAdd{10n, 10n}, OAdd{14n, 10n}, OSub{4n, 15n}, OMul{16n, 12n}, OAdd{11n, 17n},
   OMul{0n, 1n}, OMul{16n, 19n}, OAdd{20n, 20n}]

Uses (2):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=bend-collections@1.0.0.0/src/crypto/secp256k1/point.bend&name=Op