;;; $Id: decl.def,v 1.2 1999/02/25 03:35:34 leavens Exp $

(defrep (decl T) (list datum))

(deftype decl? (-> (datum) boolean))
(deftype make-decl (-> (symbol T) (decl T)))
(deftype decl->var (-> ((decl T)) symbol))
(deftype decl->exp (-> ((decl T)) T))
(deftype parse-decl-maker (-> ((-> (datum) T)) (-> (datum) (decl T))))
