merged_disjunct( Word l1, Word l2, BP comp)

Type:

Virtual Function

Defined in:

CU.list2iter or CU.list2rec

Returns a merged list from l1 and l2, where l1 and l2 do not contain elements that are equal w.r.t. comp. l1, l2, and the resulting list are ordered w.r.t. the binary predicate comp.

See also:

merged.