;;; $Id: cond-clause.def,v 1.2 1999/02/25 03:35:56 leavens Exp $

(defrep (cond-clause T) (list T))

(deftype cond-clause? (-> (datum) boolean))
(deftype make-cond-clause (-> (T T) (cond-clause T)))
(deftype cond-clause->test (-> ((cond-clause T)) T))
(deftype cond-clause->body (-> ((cond-clause T)) T))
(deftype parse-cond-clause-maker (-> ((-> (datum) T)) (-> (datum) (cond-clause T))))

