type SPoint
import bend-collections@1.0.0.0/spec/crypto/secp256k1/curve.bend as Curveimport Base
24type SPoint is Data:
25 SPoint{x: Nat, y: Nat, z: Nat}
import bend-collections@1.0.0.0/spec/crypto/secp256k1/curve.bend as Curveimport Base
24type SPoint is Data:
25 SPoint{x: Nat, y: Nat, z: Nat}