Constant cmp_partialord_gt 

pub const cmp_partialord_gt: Symbol;