Function automatic_relations::convolution::aligned::multi_search

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