;;; $Id: ch5-7-1-expressed-value.def,v 1.1 1998/10/26 16:40:40 leavens Exp $

trustme!

(defrep Expressed-Value datum)

(deftype number->expressed (-> (number) Expressed-Value))
(deftype expressed->number (-> (Expressed-Value) number))
(deftype procedure-text->expressed (-> (Procedure-Text) Expressed-Value))
(deftype expressed->procedure-text (-> (Expressed-Value) Procedure-Text))
(deftype list->expressed (-> ((list Expressed-Value)) Expressed-Value))
(deftype expressed->list (-> (Expressed-Value) (list Expressed-Value)))
(deftype void->expressed (-> (void) Expressed-Value))

(deftype denoted->expressed (-> (Denoted-Value) Expressed-Value))
(deftype expressed->denoted (-> (Expressed-Value) Denoted-Value))
