;;; $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))