binius_field::packed_extension_ops

Function get_packed_subfields_at_pe_idx

Source 
pub unsafe fn get_packed_subfields_at_pe_idx<PE, F>(
    packed_subfields: &[PE::PackedSubfield],
    i: usize,
) -> PE::PackedSubfield
where
    PE: PackedExtension<F>,
    PE::Scalar: ExtensionField<F>,
    F: Field,
Expand description

ยงSafety

Width of PackedSubfield is >= the width of the field implementing PackedExtension.