merged( Word l1, Word l2, BP comp, BF f, UP cancel)

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.