type Cr
import bend-collections-laws-crypto@1.0.0.0/src/crypto/curve25519/field.bend as Fieldimport Base
78# limbs and the carry out of the top one
79type Cr is Data:
80 Cr{limbs: List<&2, U32>, out: U32}
Uses (2)
Used by (13)
- bend-collections-laws-crypto@1.0.0.0/src/crypto/curve25519/field:carry
- bend-collections-laws-crypto@1.0.0.0/proofs/crypto/curve25519/limbs:cc
- bend-collections-laws-crypto@1.0.0.0/proofs/crypto/curve25519/limbs:cl
- bend-collections-laws-crypto@1.0.0.0/src/crypto/curve25519/field:csub_fin
- bend-collections-laws-crypto@1.0.0.0/src/crypto/curve25519/field:cr_limbs
- …