Function creusot_contracts::std::arch::x86_64::_mm256_extract_epi32

pub unsafe fn _mm256_extract_epi32<const INDEX: i32>(a: __m256i) -> i32

Available on x86-64 only.

Extracts a 32-bit integer from a, selected with INDEX.

Intel’s documentation