;;; $Id: cell-ADT.def,v 1.1 1998/10/12 01:42:07 leavens Exp $

(defrep (cell ?t) (list datum))

(deftype make-cell (-> (?t) (cell ?t)))
(deftype cell? (-> (datum) boolean))
(deftype cell-ref (-> ((cell ?t)) ?t))
(deftype cell-set! (-> ((cell ?t) ?t) void))
(deftype cell-swap! (-> ((cell ?t) (cell ?t)) void))
