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