;; 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-beginner-reader.ss" "deinprogramm")((modname wheels) (read-case-sensitive #f) (teachpacks ()) (deinprogramm-settings #(#f write repeating-decimal #f #t none explicit #f ())))
; Bestimme aus Anzahl von Autos und Motorrädern die
; Anzahl der Räder
(: wheels-of (natural natural -> natural))

(check-expect (wheels-of 0 0) 0)
(check-expect (wheels-of 0 2) 4)
(check-expect (wheels-of 5 0) 20)
(check-expect (wheels-of 2 2) 12)
(check-expect (wheels-of 3 4) 20)

; folgt aus der Signaturvereinbarung:
#;(define wheels-of
  (lambda (cars bikes)
    ...))

; folgt aus der Signaturvereinbarung
#;(define wheels-of
  (lambda (cars bikes)
    ...cars ... bikes ...))

(define wheels-of
  (lambda (cars bikes)
    (+ (* 4 cars)
       (* 2 bikes))))