;; 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 reeller Zahlen: ; Mengensignatur: set (provide set empty-set add-set elem? union intersect) ; Leere Menge (: empty-set set) ; Hinzufügen eines Elementes (: add-set (real set -> set)) ; Ist ein Element in der Menge? (: elem? (real set -> boolean)) ; Vereinigung (: union (set set -> set)) ; Durchschnitt (: intersect (set set -> set))