type Op
import bend-collections-laws-crypto@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}
Uses (1)
Used by (14)
- bend-collections-laws-crypto@1.0.0.0/src/crypto/secp256k1/point:run
- bend-collections-laws-crypto@1.0.0.0/proofs/crypto/secp256k1/point:cprog
- bend-collections-laws-crypto@1.0.0.0/src/crypto/secp256k1/point:run_go
- bend-collections-laws-crypto@1.0.0.0/src/crypto/secp256k1/point:exec
- bend-collections-laws-crypto@1.0.0.0/src/crypto/secp256k1/point:add_prog
- …