;;; $Id: ch5-5-denoted-value.def,v 1.1 1998/10/24 17:10:23 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))