;;; $Id: set-equal.def,v 1.3 1999/02/25 03:25:52 leavens Exp $

trustme!

(defrep (set T) (list T))

(deftype cs342:set-one-elem (-> ((set T)) T))
(deftype cs342:set-rest (-> ((set T)) (set T)))
(deftype cs342:set-empty? (-> ((set T)) boolean))
(deftype cs342:set-member? (-> (T (set T)) boolean))
(deftype cs342:set-equal? (-> ((set T) (set T)) boolean))
(deftype cs342:left-protected-set-equal? (-> (datum (set T)) boolean))
(deftype cs342:no-duplicates? (-> ((list T)) boolean))
(deftype cs342:set? (-> (datum) boolean))
(deftype cs342:set-of (-> (T ...) (set T)))
