Function contrafact::eq[][src]

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

Specifies an equality constraint