strict ordering symmetric predicate
For non-symmetric predicates please use a structure with two opCalls or an alias of two global functions, that correponds to (array[i], value) and (value, array[i]) cases.
true if a sorted array contains the value.