Function contrafact::ne

pub fn ne<S, T, B>(context: S, constant: B) -> EqFact<T, B> where
    S: ToString,
    T: Debug + PartialEq,
    B: Borrow<T>, 

Specifies an inequality constraint