;;; $Id: ch5-1-expressed-value.def,v 1.3 1998/10/16 02:54:52 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 denoted->expressed (-> (Denoted-Value) Expressed-Value))
(deftype expressed->denoted (-> (Expressed-Value) Denoted-Value))


  
