~/jendhub

type SAffine

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

import bend-collections-laws-crypto@1.0.0.0/spec/crypto/secp256k1/curve.bend as Curve
import Base

163type SAffine is Data:
164  SAffine{x: Nat, y: Nat}

Uses (1)

Used by (22)