[][src]Constant jl_sys::_CMP_NGE_US

pub const _CMP_NGE_US: u32 = 9;