Function contrafact::check_seq [−][src]
pub fn check_seq<T, F>(seq: &[T], fact: F) -> Check where
F: Fact<T>,
T: Bounds,
Expand description
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.