**Type:**- Virtual Function
**Defined in:**- CU.list2iter or CU.list2rec
- Returns a merged list from
`l1`and`l2`.`l1`,`l2`, and the resulting list are ordered w.r.t. the binary predicate`comp`.Suppose and . If w.r.t.

`comp`then will occur*before*in the resulting list. If then`f`is a candidate for the new list. If the candidate*does not*satisfy the predicate`cancel`it is inserted into the resulting list, otherwise it is canceled and the next elements are tested.

Thu Sep 3 14:50:07 MDT 1998