structure ArraySlice : ARRAY_SLICE

We propose two new functions for theArraySlice module.

This page is part of proposal2015-003.

val toList     : 'a slice -> 'a listval toVector   : 'a slice -> 'a vector

• toList arr

• toVector vec

ThetoVector function is the same as the existingvector function, but itfollows thetoType/fromType naming convention.

ThetoList operation complements the existingfromList and can be implemented moreefficiently than by usingList.tabulate.Adding thefromVector andtoVector functions help reduce the friction of convertingbetween different sequence types.