let
find_index p ra i =
if
i < 0
then
invalid_arg
"find_index"
else
find_index_aux p ra i