Constant cmp_partialord_ge 

pub const cmp_partialord_ge: Symbol;