;;; $Id: procedure-text.def,v 1.1 1998/10/26 16:40:40 leavens Exp $

(defrep Procedure-Text datum)

(deftype prim-proc? (-> (Procedure-Text) boolean))
(deftype make-prim-proc (-> (symbol) Procedure-Text))
(deftype prim-proc->prim-op (-> (Procedure-Text) symbol))

(deftype proc->procedure-text (-> (parsed-exp) Procedure-Text))
(deftype proc? (and (-> (parsed-exp) boolean)
		    (-> (Procedure-Text) boolean)))
(deftype proc->formals (and (-> (parsed-exp) (list symbol))
			    (-> (Procedure-Text) (list symbol))))
(deftype proc->body (and (-> (parsed-exp) parsed-exp)
			 (-> (Procedure-Text) parsed-exp)))
