let
rec
for_all_aux i p ra =
i > ra.vlix
||
p (unsafe_get ra i)
&&
for_all_aux (i + 1) p ra