contrafact
pub fn ne_<T, B>(constant: B) -> EqFact<T, B> where T: Debug + PartialEq, B: Borrow<T>,
Specifies an inequality constraint with no context