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