;;; $Id: record-decl.def,v 1.2 1998/10/15 17:19:23 leavens Exp $

(defrep (decl ?t) (decl ?var ?t))

(deftype decl? (-> (datum) boolean))
(deftype make-decl (-> (symbol ?t) (decl ?t)))
(deftype decl->var (-> ((decl ?t)) symbol))
(deftype decl->exp (-> ((decl ?t)) ?t))
