Traits§

  • Trait that establishes correspondence between the scalar field and a packed field of the same bit size with a single element. E.g. BinaryField64b -> PackedBinaryField1x64b. Note that the underlier of the packed field may be different. E.g. BinaryField128b has u128 as underlier, while for x64 PackedBinaryField1x128b’s underlier may be M128.
  • This trait represents correspondence (UnderlierType, Field) -> PackedField. For example (u64, BinaryField16b) -> PackedBinaryField4x16b.

Type Aliases§

  • Returns the packed field type for the scalar field F and underlier U.