let rec of_list_aux ar i = function | [] -> () | h::t -> Impl.unsafe_set ar i h; of_list_aux ar (i + 1) t