;;; $Id: ch6-2-denoted-value.def,v 1.1 1998/11/12 22:53:20 leavens Exp $

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

(defrep Denoted-Value datum)

(deftype cell? (-> (Denoted-Value) boolean))
(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))

(deftype ae? (-> (Denoted-Value) boolean))
(deftype make-ae (-> ((Array Expressed-Value) number) Denoted-Value))
(deftype ae->array (-> (Denoted-Value) (Array Expressed-Value)))
(deftype ae->index (-> (Denoted-Value) number))