[][src]Function adapton::catalog::collections::list_merge

pub fn list_merge<X: 'static + Ord + Clone + Debug, L: ListIntro<X> + ListElim<X> + 'static>(
    n1: Option<Name>,
    l1: L,
    n2: Option<Name>,
    l2: L
) -> L

Produce a lazy list that consists of merging two input lists. The output is lazy to the extent that the input lists contain names. When the input lists are each sorted according to Ord; the output is sorted.