;;; $Id: ch5-1-denoted-value.def,v 1.4 1998/10/16 02:54:58 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)))

  
