;;; $Id: ch5-4-2-denoted-value.def,v 1.1 1998/10/26 23:19:57 leavens Exp $

trustme!

(defrep Denoted-Value datum)

(deftype number->denoted (-> (number) Denoted-Value))
(deftype denoted->number (-> (Denoted-Value) number))
(deftype procedure->denoted (-> (Procedure) Denoted-Value))
(deftype denoted->procedure (-> (Denoted-Value) Procedure))
(deftype list->denoted (-> ((list Denoted-Value)) Denoted-Value))
(deftype denoted->list (-> (Denoted-Value) (list Denoted-Value)))