[−][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 name
s.
When the input lists are each sorted according to Ord
; the output is sorted.