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