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


structure Array : Array = struct

type 'a array 		= 'a ArrayImplementation.array

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

val array			= ArrayImplementation.array_create
val arrayoflist		= ArrayImplementation.array_fromlist
val tabulate		= ArrayImplementation.array_tabulate
val length			= ArrayImplementation.array_length
val op sub			= ArrayImplementation.array_sub
val update			= ArrayImplementation.array_update

end;	(* structure Array *)


(* --- Revision History ---------------------------------------------------
--- Robert John Duncan, Dec  3 1990
		-sub- function no longer infix by default.
--- Robert John Duncan, Nov 19 1990
		Complete revision to conform to agreed standard
 *)
