Constant creusot_contracts::std::arch::x86_64::_MM_CMPINT_NLE

pub const _MM_CMPINT_NLE: i32 = 0x06; // 6i32

🔬This is a nightly-only experimental API. (stdarch_x86_avx512)

Available on x86-64 only.

Not less-than-or-equal