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

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.