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

load Vector.sig

(* --- Revision History ---------------------------------------------------
--- Robert John Duncan, Aug 21 1991
		Made Unix-only, since VMS doesn't distinguish the two files
 *)
