type Op
import bend-collections@1.0.0.0/src/crypto/secp256k1/point.bend as Pointimport Base
25type Op is Data:
26 OAdd{i: Nat, j: Nat}
27 OSub{i: Nat, j: Nat}
28 OMul{i: Nat, j: Nat}
import bend-collections@1.0.0.0/src/crypto/secp256k1/point.bend as Pointimport Base
25type Op is Data:
26 OAdd{i: Nat, j: Nat}
27 OSub{i: Nat, j: Nat}
28 OMul{i: Nat, j: Nat}