;;; $Id: method-environment.def,v 1.1 1998/12/03 16:32:57 leavens Exp $

(defrep Method-Environment (ff (-> ((list Expressed-Value)) Expressed-Value)))

(deftype the-empty-method-env Method-Environment)
(deftype extend-method-env
  (-> ((list symbol)
       (list (-> ((list Expressed-Value)) Expressed-Value))
       Method-Environment)
      Method-Environment))
(deftype apply-method-env
  (-> (Method-Environment symbol)
      (-> ((list Expressed-Value)) Expressed-Value)))
(deftype defined-in-method-env? (-> (Method-Environment symbol) boolean))
