Function contrafact::eq_

pub fn eq_<T, B>(constant: B) -> EqFact<T, B> where
    T: Debug + PartialEq,
    B: Borrow<T>, 

Specifies an equality constraint with no context