;;; $Id: record-keydecl.def,v 1.1 1998/10/15 20:17:16 leavens Exp $

(defrep (keydecl ?t) (keydecl ?var ?t))

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