let rec exists_aux i p ra = if i > ra.vlix then false else if p (unsafe_get ra i) then true else exists_aux (i + 1) p ra