def dbl

import bend-collections-laws-crypto@1.0.0.0/src/crypto/secp256k1/point.bend as Point

import Base

91def dbl(p: Point) -> Point:
92  match p:
93    case Point{x, y, z}:
94      dbl_out(run(dbl_prog(), [x, y, z, b3()]))

Uses (6)