;;; $Id: array.def,v 1.4 1998/11/14 06:18:38 leavens Exp $

(defrep (array ?t) (vector datum))

(deftype make-array (-> (number) (array ?t)))
(deftype array? (-> (datum) boolean))
(deftype array-ref (-> ((array ?t) number) ?t))
(deftype array-set! (-> ((array ?t) number ?t) void))
(deftype array-whole-set! (-> ((array ?t) (array ?t)) void))
(deftype array-copy (-> ((array ?t)) (array ?t)))
(deftype array-length (-> ((array ?t)) number))
