Constant creusot_contracts::std::arch::x86_64::_CMP_GE_OS
1.27.0 · source · pub const _CMP_GE_OS: i32 = 0x0d; // 13i32
Available on x86-64 only.
Expand description
Greater-than-or-equal (ordered, signaling)
pub const _CMP_GE_OS: i32 = 0x0d; // 13i32
Greater-than-or-equal (ordered, signaling)