;;; $Id: ch6-5-3-denoted-value.def,v 1.1 1998/11/12 22:53:20 leavens Exp $

trustme!

(defrep Denoted-Value datum)

(deftype memo? (-> (Denoted-Value) boolean))
(deftype memo-create (-> (parsed-exp Environment) Denoted-Value))

(deftype l-value->denoted (-> (L-Value) Denoted-Value))
(deftype denoted->l-value (-> (Denoted-Value) L-value))