Function automatic_relations::convolution::aligned::search

pub fn search<'a, F: Symbol + Ranked, Q: State, X: Spawnable>(
    aut: &'a Automaton<Rank<Convoluted<F>>, Q, NoLabel>, 
    patterns: Vec<Convoluted<Pattern<F, X>>>, 
    kill_signal: Receiver<()>
) -> Mux<TermFragment<'a, Automaton<Rank<Convoluted<F>>, Q, NoLabel>, Rank<Convoluted<F>>, Q, SearchContext<F, Q, X>, Convoluted<Pattern<F, CtxVar<X>>>>>