Function contrafact::build_seq

pub fn build_seq<'a, T, F>(g: &mut Generator<'a>, num: usize, fact: F) -> Vec<T>where
    T: Bounds<'a>,
    F: Fact<'a, T>,

Build a sequence from scratch such that all Facts are satisfied. Each Fact will run Fact::advance after each item built, allowing stateful facts to change as the sequence advances.