;;; $Id: ch6-5-2-denoted-value.def,v 1.1 1998/11/12 22:53:20 leavens Exp $ trustme! (defrep Denoted-Value datum) (deftype thunk? (-> (Denoted-Value) boolean)) (deftype make-thunk (-> (parsed-exp Environment) Denoted-Value)) (deftype thunk->exp (-> (Denoted-Value) parsed-exp)) (deftype thunk->env (-> (Denoted-Value) Environment)) (deftype l-value->denoted (-> (L-Value) Denoted-Value)) (deftype denoted->l-value (-> (Denoted-Value) L-value))