;;; $Id: parsed-form.def,v 1.2 1998/11/04 22:00:52 leavens Exp $

(defrep parsed-form datum)

;;; Figure B.1 : page 465

(deftype define? (-> (parsed-form) boolean))
(deftype make-define (-> (symbol parsed-exp) parsed-form))
(deftype define->var (-> (parsed-form) symbol))
(deftype define->exp (-> (parsed-form) parsed-exp))

(deftype definearray? (-> (parsed-form) boolean))
(deftype make-definearray (-> (symbol parsed-exp) parsed-form))
(deftype definearray->var (-> (parsed-form) symbol))
(deftype definearray->len-exp (-> (parsed-form) parsed-exp))

(deftype parsed-exp? (-> (parsed-form) boolean))
(deftype exp->form (-> (parsed-exp) parsed-form))
(deftype form->exp (-> (parsed-form) parsed-exp))
