Function contrafact::check_seq

pub fn check_seq<T, F>(seq: &[T], fact: F) -> Check where
    F: Fact<T>,
    T: Bounds, 

Check that all of the constraints of all Facts are satisfied for this sequence. Each Fact will run Fact::advance after each item checked, allowing stateful facts to change as the sequence advances.