;;; $Id: ch5-7-1-denoted-value.def,v 1.1 1998/10/26 16:40:40 leavens Exp $

trustme!  ;; shouldn't need this but loaded stuff isn't counted...

(defrep Denoted-Value (cell Expressed-Value))

(deftype make-cell (-> (Expressed-Value) Denoted-Value))
(deftype cell-ref (-> (Denoted-Value) Expressed-Value))
(deftype cell-set! (-> (Denoted-Value Expressed-Value) void))
(deftype cell-swap! (-> (Denoted-Value Denoted-Value) void))
