Function contrafact::in_iter

pub fn in_iter<'a, I, S, T>(context: S, iter: I) -> InFact<'a, T> where
    S: ToString,
    T: 'a + PartialEq + Debug,
    I: IntoIterator<Item = &'a T>, 

Specifies a membership constraint