;;; $Id: updateable-environments.def,v 1.1 1998/10/27 02:39:20 leavens Exp $

(defrep Environment (cell (ff Denoted-Value)))

(deftype the-empty-env Environment)
(deftype extend-env (-> ((list symbol) (list Denoted-Value) Environment) Environment))
(deftype apply-env (-> (Environment symbol) Denoted-Value))
(deftype defined-in-env? (-> (Environment symbol) boolean))
(deftype update-env! (-> (Environment symbol Denoted-Value) void))
