;;; $Id: ch6-1-4-expressed-value.def,v 1.1 1998/11/11 18:02:09 leavens Exp $ trustme! (defrep Expressed-Value datum) (deftype number->expressed (-> (number) Expressed-Value)) (deftype expressed->number (-> (Expressed-Value) number)) (deftype procedure->expressed (-> (Procedure) Expressed-Value)) (deftype expressed->procedure (-> (Expressed-Value) Procedure)) (deftype array->expressed (-> ((Array Storable-Value)) Expressed-Value)) (deftype expressed->array (-> (Expressed-Value) (Array Storable-Value))) (deftype list->expressed (-> ((list Expressed-Value)) Expressed-Value)) (deftype expressed->list (-> (Expressed-Value) (list Expressed-Value))) (deftype void->expressed (-> (void) Expressed-Value))