type Cr

bend-collections@1.0.0.0 · src/crypto/curve25519/field.bend:78

import Base

78# limbs and the carry out of the top one
79type Cr is Data:
80  Cr{limbs: List<&2, U32>, out: U32}