Constant cmp_partialord_cmp 

pub const cmp_partialord_cmp: Symbol;