Traitsยง
- Trait represents a relationship between a packed struct of field elements and a smaller packed struct the same field elements.
- The trait represents the relation between the packed fields of the same bit size where one scalar is the extension of the other one.
- This trait adds shortcut methods for the case
PackedExtension<F, PackedSubfield: PackedFieldIndexable>
which is a quite common case in our codebase. - A
PackedField
that can be safely cast to indexable slices of scalars. - This trait is a shorthand for the case
PackedExtension<P::Scalar, PackedSubfield = P>
which is a quite common case in our codebase.