Constant cmp_partialord_le 

pub const cmp_partialord_le: Symbol;