pub fn in_slice_<'a, T>(slice: &'a [T]) -> InSliceFact<'a, T>where T: 'a + PartialEq + Debug + Clone,
Specifies a membership constraint