;;; $Id: ch6-1-4-storable-value.def,v 1.1 1998/11/11 18:02:09 leavens Exp $

trustme!

(defrep Storable-Value datum)

(deftype number->storable (-> (number) Storable-Value))
(deftype storable->number (-> (Storable-Value) number))
(deftype procedure->storable (-> (Procedure) Storable-Value))
(deftype storable->procedure (-> (Storable-Value) Procedure))
(deftype list->storable (-> ((list Storable-Value)) Storable-Value))
(deftype storable->list (-> (Storable-Value) (list Storable-Value)))

(deftype storable->denoted (-> (Storable-Value) Denoted-Value))
(deftype expressed->storable (-> (Expressed-Value) Storable-Value))
(deftype storable->expressed (-> (Storable-Value) Expressed-Value))