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


signature Vector = sig

	eqtype 'a vector

	exception Size
	exception Subscript

	val vector		: 'a list -> 'a vector
	val tabulate	: int * (int -> 'a) -> 'a vector
	val length		: 'a vector -> int
	val sub			: 'a vector * int -> 'a

end;	(* signature Vector *)

(* Synonym for compatibility with other compilers *)

signature VECTOR = Vector;

(* --- Revision History ---------------------------------------------------
--- Robert John Duncan, Aug 21 1991
		Added VECTOR synonym
 *)