;;; $Id: procedure-as-closure.def,v 1.1 1998/10/26 22:46:47 leavens Exp $

(defrep Procedure (-> (Expressed-Value ...) Expressed-Value))

(deftype make-prim-proc (-> (symbol) Procedure))
(deftype make-closure (-> ((list symbol) parsed-exp Environment) Procedure))
(deftype apply-proc (-> (Procedure (list Expressed-Value)) Expressed-Value))
