(* --- Copyright University of Sussex 1990. All rights reserved. ----------
 * File:            C.all/pml/lib/Vector.ml
 * Purpose:         Vector implementation
 * Author:          Robert John Duncan, Nov  9 1990 (see revisions)
 * Documentation:   HELP * VECTOR
 * Related Files:   C.all/pml/lib/Vector.sig
 *                  C.all/pml/lib/ArrayImplementation.ml
 *)


structure Vector : Vector = struct

type 'a vector		= 'a ArrayImplementation.vector

exception Size		= ArrayImplementation.Size
exception Subscript	= ArrayImplementation.Subscript

val vector			= ArrayImplementation.vector_fromlist
val tabulate		= ArrayImplementation.vector_tabulate
val length			= ArrayImplementation.vector_length
val sub				= ArrayImplementation.vector_sub

end;	(* structure Vector *)


(* --- Revision History ---------------------------------------------------
--- Robert John Duncan, Dec  3 1990
		-sub- function no longer infix by default.
 *)
