type SOp
import bend-collections@1.0.0.0/spec/crypto/secp256k1/curve.bend as Curveimport Base
27type SOp is Data:
28 SAdd{i: Nat, j: Nat}
29 SSub{i: Nat, j: Nat}
30 SMul{i: Nat, j: Nat}
import bend-collections@1.0.0.0/spec/crypto/secp256k1/curve.bend as Curveimport Base
27type SOp is Data:
28 SAdd{i: Nat, j: Nat}
29 SSub{i: Nat, j: Nat}
30 SMul{i: Nat, j: Nat}