;;; $Id: ch5-1-4-denoted-value.def,v 1.2 1998/10/26 21:17:52 leavens Exp $

trustme!

(defrep Denoted-Value datum)

(deftype number->denoted (-> (number) Denoted-Value))
(deftype denoted->number (-> (Denoted-Value) number))
(deftype procedure->denoted (-> ((prim-proc ?t)) Denoted-Value))
(deftype denoted->procedure (-> (Denoted-Value) (prim-proc ?t)))
(deftype list->denoted (-> ((list Denoted-Value)) Denoted-Value))
(deftype denoted->list (-> (Denoted-Value) (list Denoted-Value)))