type SOp

bend-collections-laws-crypto@1.0.0.0 · spec/crypto/secp256k1/curve.bend:27

import Base

27type SOp is Data:
28  SAdd{i: Nat, j: Nat}
29  SSub{i: Nat, j: Nat}
30  SMul{i: Nat, j: Nat}