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

signature Array = sig

	type 'a array

	exception Size
	exception Subscript

	val array		: int * '_a -> '_a array
	val arrayoflist	: '_a list -> '_a array
	val tabulate	: int * (int -> '_a) -> '_a array
	val length		: 'a array -> int
	val sub			: 'a array * int -> 'a
	val update		: 'a array * int * 'a -> unit

end;	(* signature Array *)

(* Synonym for compatibility with other compilers *)

signature ARRAY = Array;

(* --- Revision History ---------------------------------------------------
--- Robert John Duncan, Aug 21 1991
		Added ARRAY synonym
--- Robert John Duncan, Nov 19 1990
		Complete revision to conform to agreed standard
 *)
