Update ArrayVector.fs