;;; $Id: ch5-1-4-expressed-value.def,v 1.2 1998/10/26 21:18:20 leavens Exp $ trustme! (defrep Expressed-Value datum) (deftype number->expressed (-> (number) Expressed-Value)) (deftype expressed->number (-> (Expressed-Value) number)) (deftype procedure->expressed (-> ((prim-proc ?t)) Expressed-Value)) (deftype expressed->procedure (-> (Expressed-Value) (prim-proc ?t))) (deftype list->expressed (-> ((list Expressed-Value)) Expressed-Value)) (deftype expressed->list (-> (Expressed-Value) (list Expressed-Value))) (deftype denoted->expressed (-> (Denoted-Value) Expressed-Value)) (deftype expressed->denoted (-> (Expressed-Value) Denoted-Value))