Function contrafact::in_slice

pub fn in_slice<'a, S, T>(context: S, slice: &'a [T]) -> InSliceFact<'a, T>where
    S: ToString,
    T: 'a + PartialEq + Debug + Clone,

Specifies a membership constraint