1pub trait StatefulPred { 2 type Input; 3 fn count(&self) -> usize; 4 fn next(&mut self); 5 fn pred(&self, x: &Self::Input) -> bool; 6 fn reset(&mut self); 7}