def cs_d2
import bend-collections-laws-crypto@1.0.0.0/src/crypto/ed25519/point.bend as Pointimport Base
36def cs_d2(c: Cs) -> List<&2, U32>:
37 match c:
38 case Cs{d, d2, s}:
39 d2
Uses (3)
Used by (10)
- bend-collections-laws-crypto@1.0.0.0/src/crypto/ed25519/point:add
- bend-collections-laws-crypto@1.0.0.0/proofs/crypto/ed25519/pcodec:r_d2
- bend-collections-laws-crypto@1.0.0.0/proofs/crypto/ed25519/top:mul_rel
- bend-collections-laws-crypto@1.0.0.0/proofs/crypto/ed25519/prel:add_rel
- bend-collections-laws-crypto@1.0.0.0/proofs/crypto/ed25519/top:public_rel
- …