;;; $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))