;; Die ersten drei Zeilen dieser Datei wurden von DrRacket eingefügt. Sie enthalten Metadaten
;; über die Sprachebene dieser Datei in einer Form, die DrRacket verarbeiten kann.
#reader(lib "DMdA-vanilla-reader.ss" "deinprogramm")((modname set-interface) (read-case-sensitive #f) (teachpacks ()) (deinprogramm-settings #(#f write repeating-decimal #f #t none explicit #f ())))
; Schnittstelle für Mengen:
(provide set empty-set add-set elem? union intersect)

; Wir betrachten hier nur Zahlenmengen: set

; Die leere Menge
(: empty-set set)

; Zu einer Menge ein Element hinzufügen
(: add-set (integer set -> set))

; Ist ein Element in einer Menge enthalten?
(: elem? (integer set -> boolean))

; Vereinige zwei Mengen
(: union (set set -> set))

; Bilde den Durchschnitt zweier Mengen
(: intersect (set set -> set))