;;; $Id: ch6-5-2-l-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 L-Value datum)

(deftype cell? (-> (L-Value) boolean))
(deftype make-cell (-> (Expressed-Value) L-Value))
(deftype cell-ref (-> (L-Value) Expressed-Value))
(deftype cell-set! (-> (L-Value Expressed-Value) void))
(deftype cell-swap! (-> (L-Value L-Value) void))

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