structure VectorUtil =
  struct
    local
      open Vector
    in
    fun listOfVector v = let
	  fun f (0, l) = l
	    | f (i, l) = f (i-1, Vector.sub(v, i-1) :: l)
	  in
	    f (Vector.length v, [])
	  end
    fun mapv f = let
	  fun mapv' #[a] = #[f a]
	    | mapv' #[a, b] = #[f a, f b]
	    | mapv' #[a, b, c] = #[f a, f b, f c]
	    | mapv' #[a, b, c, d] = #[f a, f b, f c, f d]
	    | mapv' v = vector (map f (listOfVector v))
	  in
	    mapv'
	  end
    end
 end;

<script type="text/javascript">//<![CDATA[
		function toggle_ffErrors() {
			var errorsblock = document.getElementById("ffErrorsBlock");
			var errorsgroup = document.getElementById("ffErrors");
			if (errorsblock.style.display == "none") {
				errorsblock.style.display = "block";
				errorsgroup.style.right = "10px";
			} else {
				errorsblock.style.display = "none";
				errorsgroup.style.right = "300px";
			}
		}
//]]></script>
<div id="ffErrors">
<a href="javascript:toggle_ffErrors();">Click to toggle</a>
<div id="ffErrorsBlock">
	<div class="error">does not end with &lt;/html&gt; tag</div>
	<div class="error">does not end with &lt;/body&gt; tag</div>
	<div class="info">The output has ended thus:  b, f c, f d]
	    | mapv' v = vector (map f (listOfVector v))
	  in
	    mapv'
	  end
    end
 end;</div>
</div></div>
</body></html>