;;; $Id: sym-exp.def,v 1.2 1999/01/22 07:48:26 leavens Exp $

trustme!  ;; suppresses errors in sym-exp? and the parsers

(defrep sym-exp datum)

(deftype s-list? (-> (datum) boolean))
(deftype sym-exp? (-> (datum) boolean))
(deftype symbol->sym-exp (-> (symbol) sym-exp))
(deftype s-list->sym-exp (-> ((list sym-exp)) sym-exp))
(deftype sym-exp-symbol? (-> (sym-exp) boolean))
(deftype sym-exp-s-list? (-> (sym-exp) boolean))
(deftype sym-exp->symbol (-> (sym-exp) symbol))
(deftype sym-exp->s-list (-> (sym-exp) (list sym-exp)))
(deftype parse-sym-exp (-> (datum) sym-exp))
(deftype parse-s-list (-> (datum) (list sym-exp)))
