pub const cmp_partialeq_eq: Symbol;