The SML basis library provides a rather neat structure, ListPair, for
manipulating pairs of lists.  It also provides a vector data structure,
somewhat analogous to Java vectors or C arrays, but there is no VectorPair.
The need to operate over pairs of vectors is less common than for lists, of
course, since vectors themselves are used less commonly than their more
flexible counterpart, but since they are used in similar situations, the need
does occasionally arise.  This library provides functions similar to those
found in ListPair, but that operate on vectors.

USING

The functions should be mostly self-explanatory from the signatures and
documentation for ListPair.  The "i" versions of functions are unique to
VectorPair; they are identical to their base function except that they also
provide the current vector index as an argument to the mapping or folding
function.

If I ever figure out how to use ML-Doc, I'll add more thorough documentation
through that.

BUGS

Please send bug reports or comments to david@gophernet.org