find_by_comparator
container.sorted_array.find_by_comparator
Postcondition
post
match result
i i32 => cmp sorted_array.this[i] = equal
nil => true0.095dev (GIT hash 5f19dac1008648f355e38b291a14980aecf8af80)
post
match result
i i32 => cmp sorted_array.this[i] = equal
nil => true
The guaranteed performance is in O(log n) comparisons.
result is the index where cmp results in 0 or nil if no such index
was found in this array. In case several instance equal match,
the index of one matching key will be returned, but is not
specified which one.
NYI: CLEANUP: find better name