let
sof_array strategy ar =
sinit strategy (
Array
.length ar) (
fun
i
->
Array
.unsafe_get ar i)