def add

bend-collections-laws-crypto@1.0.0.0 · src/crypto/secp256k1/point.bend:83

import Base

83def add(p: Point, q: Point) -> Point:
84  match p q:
85    case Point{x1, y1, z1} Point{x2, y2, z2}:
86      add_out(run(add_prog(), [x1, y1, z1, x2, y2, z2, b3()]))