;;; $Id: record-procdecl.def,v 1.1 1998/10/15 17:23:34 leavens Exp $

(defrep (procdecl ?t) (procdecl ?var ?formals ?t))

(deftype procdecl? (-> (datum) boolean))
(deftype make-procdecl (-> (symbol (list symbol) ?t) (procdecl ?t)))
(deftype procdecl->var (-> ((procdecl ?t)) symbol))
(deftype procdecl->formals (-> ((procdecl ?t)) (list symbol)))
(deftype procdecl->body (-> ((procdecl ?t)) ?t))
