Function contrafact::ne

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

Specifies an inequality constraint