;;; $Id: ch7-1-denoted-value.def,v 1.1 1998/12/03 16:32:57 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))