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