• op is an optional binary predicate to be used as the sorting criterion:
op(elem1,elem2)
• The caller has to ensure that both ranges are sorted according to the same sorting criterion on
entry.
• Complexity: linear (at most, 2*(numElems+numSearchElems) -1 comparisons).
The following program demonstrates the usage of includes():