RosettaCodeData/Task/Binary-search/11l/binary-search.11l
2023-07-01 13:44:08 -04:00

12 lines
236 B
Text

F binary_search(l, value)
V low = 0
V high = l.len - 1
L low <= high
V mid = (low + high) I/ 2
I l[mid] > value
high = mid - 1
E I l[mid] < value
low = mid + 1
E
R mid
R -1