writeFile package:storablevector

Write a Vector to a file.