;;; $Id: ch6-1-3-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 Expressed-Value)) Expressed-Value))
(deftype expressed->array (-> (Expressed-Value) (Array Expressed-Value)))
(deftype list->expressed (-> ((list Expressed-Value)) Expressed-Value))
(deftype expressed->list (-> (Expressed-Value) (list Expressed-Value)))
(deftype void->expressed (-> (void) Expressed-Value))
