let
rec
exists_aux i p ra =
i <= ra.vlix
&&
(p (unsafe_get ra i)
||
exists_aux (i + 1) p ra)