15435
((3) 0 () 4 ((q lib "deinprogramm/sdp/advanced.rkt") (q lib "deinprogramm/sdp/private/primitives.rkt") (q lib "deinprogramm/sdp/beginner.rkt") (q lib "deinprogramm/sdp/deflam.rkt")) () (h ! (equal) ((c def c (c (? . 0) q string<?)) q (14453 . 2)) ((c def c (c (? . 0) q append)) q (13552 . 2)) ((c def c (c (? . 0) q inexact?)) q (12043 . 2)) ((c form c (c (? . 1) q string)) q (1159 . 2)) ((c def c (c (? . 1) q string->number)) q (8456 . 2)) ((c def c (c (? . 1) q integer-from-to)) q (1006 . 4)) ((c def c (c (? . 0) q integer?)) q (12087 . 2)) ((c def c (c (? . 2) q tan)) q (4543 . 2)) ((c def c (c (? . 0) q odd?)) q (12675 . 2)) ((c def c (c (? . 2) q log)) q (3509 . 2)) ((c def c (c (? . 0) q ceiling)) q (11429 . 2)) ((c def c (c (? . 0) q signature?)) q (15264 . 2)) ((c def c (c (? . 2) q false?)) q (4762 . 2)) ((c def c (c (? . 2) q boolean=?)) q (4622 . 2)) ((c form c (c (? . 1) q false)) q (1146 . 2)) ((c def c (c (? . 2) q read)) q (5488 . 2)) ((c form c (c (? . 1) q check-range)) q (1551 . 2)) ((c def c (c (? . 0) q complex?)) q (11470 . 2)) ((c def c (c (? . 0) q boolean?)) q (13350 . 2)) ((c def c (c (? . 1) q >=)) q (6492 . 2)) ((c def c (c (? . 0) q number?)) q (12588 . 2)) ((c def c (c (? . 0) q sqrt)) q (13112 . 2)) ((c def c (c (? . 0) q round)) q (13035 . 2)) ((c form c (c (? . 1) q let*)) q (5848 . 2)) ((c def c (c (? . 1) q remainder)) q (8285 . 2)) ((c def c (c (? . 0) q min)) q (12356 . 2)) ((c def c (c (? . 2) q number->string)) q (3866 . 2)) ((c form c (c (? . 1) q or)) q (882 . 2)) ((c def c (c (? . 1) q number?)) q (7893 . 2)) ((c def c (c (? . 1) q string>?)) q (9954 . 2)) ((c def c (c (? . 2) q modulo)) q (3728 . 2)) ((c def c (c (? . 0) q inexact->exact)) q (11994 . 2)) ((c form c (c (? . 1) q define)) q (0 . 2)) ((c form c (c (? . 1) q integer)) q (991 . 2)) ((c def c (c (? . 1) q fold)) q (9192 . 2)) ((c def c (c (? . 1) q negative?)) q (7799 . 2)) ((c def c (c (? . 2) q asin)) q (2678 . 2)) ((c def c (c (? . 1) q first)) q (9149 . 2)) ((c form c (c (? . 1) q natural)) q (1104 . 2)) ((c def c (c (? . 2) q real-part)) q (4227 . 2)) ((c def c (c (? . 1) q violation)) q (10330 . 2)) ((c def c (c (? . 0) q symbol?)) q (14970 . 2)) ((c def c (c (? . 0) q sin)) q (13074 . 2)) ((c def c (c (? . 2) q write-newline)) q (5607 . 2)) ((c def c (c (? . 2) q =)) q (2404 . 2)) ((c form c (c (? . 1) q expect)) q (1902 . 2)) ((c def c (c (? . 1) q string?)) q (10019 . 2)) ((c form c (c (? . 3) q define)) q (10612 . 2)) ((c def c (c (? . 0) q exp)) q (11774 . 2)) ((c def c (c (? . 1) q even?)) q (6946 . 2)) ((c def c (c (? . 2) q string>?)) q (5317 . 2)) ((c def c (c (? . 1) q strings-list->string)) q (10059 . 2)) ((c def c (c (? . 1) q exact->inexact)) q (6988 . 2)) ((c def c (c (? . 2) q string=?)) q (5186 . 2)) ((c def c (c (? . 0) q asin)) q (11351 . 2)) ((c def c (c (? . 0) q string>=?)) q (14583 . 2)) ((c form c (c (? . 1) q empty-list)) q (5702 . 2)) ((c def c (c (? . 0) q write-string)) q (15399 . 2)) ((c def c (c (? . 0) q symbol->string)) q (14869 . 2)) ((c def c (c (? . 0) q string-append)) q (14277 . 2)) ((c def c (c (? . 2) q min)) q (3683 . 2)) ((c def c (c (? . 2) q string-append)) q (4945 . 2)) ((c def c (c (? . 1) q >)) q (6440 . 2)) ((c def c (c (? . 1) q boolean=?)) q (8600 . 2)) ((c def c (c (? . 0) q string<=?)) q (14387 . 2)) ((c def c (c (? . 0) q gcd)) q (11898 . 2)) ((c def c (c (? . 2) q cos)) q (2838 . 2)) ((c def c (c (? . 0) q imag-part)) q (11952 . 2)) ((c def c (c (? . 1) q make-polar)) q (7567 . 2)) ((c def c (c (? . 2) q string?)) q (5382 . 2)) ((c form c (c (? . 1) q check-error)) q (1590 . 2)) ((c def c (c (? . 1) q numerator)) q (7933 . 2)) ((c def c (c (? . 0) q <)) q (10972 . 2)) ((c form c (c (? . 1) q mixed)) q (1267 . 2)) ((c def c (c (? . 1) q =)) q (6382 . 2)) ((c def c (c (? . 0) q >)) q (11135 . 2)) ((c def c (c (? . 0) q +)) q (10809 . 2)) ((c def c (c (? . 1) q sqrt)) q (8417 . 2)) ((c def c (c (? . 0) q <=)) q (11024 . 2)) ((c def c (c (? . 0) q list-ref)) q (14047 . 2)) ((c def c (c (? . 0) q >=)) q (11187 . 2)) ((c def c (c (? . 1) q *)) q (6057 . 2)) ((c def c (c (? . 1) q string-length)) q (9643 . 2)) ((c def c (c (? . 2) q string<=?)) q (5055 . 2)) ((c def c (c (? . 1) q filter)) q (9075 . 2)) ((c def c (c (? . 1) q <)) q (6277 . 2)) ((c def c (c (? . 1) q acos)) q (6579 . 2)) ((c def c (c (? . 1) q max)) q (7616 . 2)) ((c def c (c (? . 2) q make-polar)) q (3589 . 2)) ((c def c (c (? . 1) q odd?)) q (7980 . 2)) ((c def c (c (? . 1) q string-append)) q (9582 . 2)) ((c form c (c (? . 1) q ->)) q (1292 . 2)) ((c def c (c (? . 2) q string->number)) q (4478 . 2)) ((c def c (c (? . 1) q magnitude)) q (7525 . 2)) ((c def c (c (? . 0) q /)) q (10915 . 2)) ((c def c (c (? . 2) q imag-part)) q (3279 . 2)) ((c def c (c (? . 0) q abs)) q (11240 . 2)) ((c def c (c (? . 2) q string>=?)) q (5251 . 2)) ((c def c (c (? . 0) q symbol=?)) q (14918 . 2)) ((c def c (c (? . 1) q string<?)) q (9758 . 2)) ((c form c (c (? . 0) q begin)) q (10720 . 2)) ((c form c (c (? . 1) q define-singleton)) q (436 . 3)) ((c def c (c (? . 1) q min)) q (7661 . 2)) ((c def c (c (? . 1) q empty)) q (9012 . 2)) ((c form c (c (? . 1) q rational)) q (975 . 2)) ((c def c (c (? . 2) q numerator)) q (3955 . 2)) ((c form c (c (? . 1) q expect-within)) q (1930 . 2)) ((c def c (c (? . 1) q map)) q (10193 . 2)) ((c def c (c (? . 1) q rational?)) q (8163 . 2)) ((c def c (c (? . 2) q rational?)) q (4185 . 2)) ((c def c (c (? . 2) q <)) q (2299 . 2)) ((c def c (c (? . 1) q gcd)) q (7203 . 2)) ((c def c (c (? . 1) q boolean?)) q (8655 . 2)) ((c def c (c (? . 0) q boolean=?)) q (13295 . 2)) ((c def c (c (? . 0) q string->number)) q (13151 . 2)) ((c def c (c (? . 2) q exact->inexact)) q (3010 . 2)) ((c def c (c (? . 1) q list)) q (9305 . 2)) ((c def c (c (? . 0) q modulo)) q (12401 . 2)) ((c def c (c (? . 1) q current-seconds)) q (6854 . 2)) ((c def c (c (? . 0) q fold)) q (13887 . 2)) ((c def c (c (? . 2) q violation)) q (5559 . 2)) ((c def c (c (? . 0) q number->string)) q (12539 . 2)) ((c def c (c (? . 0) q length)) q (13951 . 2)) ((c def c (c (? . 2) q random)) q (4142 . 2)) ((c def c (c (? . 0) q apply)) q (15010 . 2)) ((c def c (c (? . 0) q real?)) q (12942 . 2)) ((c form c (c (? . 1) q let)) q (5769 . 2)) ((c form c (c (? . 1) q ==>)) q (2054 . 2)) ((c def c (c (? . 0) q write-newline)) q (15355 . 2)) ((c form c (c (? . 0) q symbol)) q (10513 . 2)) ((c def c (c (? . 0) q exact?)) q (11732 . 2)) ((c def c (c (? . 0) q make-polar)) q (12262 . 2)) ((c def c (c (? . 2) q sin)) q (4401 . 2)) ((c def c (c (? . 2) q denominator)) q (2919 . 2)) ((c form c (c (? . 3) q λ)) q (10681 . 2)) ((c def c (c (? . 2) q ceiling)) q (2756 . 2)) ((c def c (c (? . 0) q strings-list->string)) q (14754 . 2)) ((c form c (c (? . 1) q true)) q (1134 . 2)) ((c def c (c (? . 2) q string->strings-list)) q (4879 . 2)) ((c form c (c (? . 1) q check-expect)) q (1398 . 2)) ((c def c (c (? . 0) q floor)) q (11859 . 2)) ((c def c (c (? . 0) q numerator)) q (12628 . 2)) ((c def c (c (? . 1) q string<=?)) q (9692 . 2)) ((c def c (c (? . 1) q cos)) q (6816 . 2)) ((c def c (c (? . 2) q positive?)) q (4043 . 2)) ((c def c (c (? . 2) q /)) q (2242 . 2)) ((c def c (c (? . 0) q false?)) q (13435 . 2)) ((c def c (c (? . 1) q inexact?)) q (7348 . 2)) ((c def c (c (? . 1) q string->strings-list)) q (9516 . 2)) ((c def c (c (? . 2) q even?)) q (2968 . 2)) ((c def c (c (? . 0) q lcm)) q (12128 . 2)) ((c def c (c (? . 2) q *)) q (2079 . 2)) ((c def c (c (? . 1) q list-ref)) q (9352 . 2)) ((c def c (c (? . 2) q number?)) q (3915 . 2)) ((c def c (c (? . 0) q string->symbol)) q (14820 . 2)) ((c def c (c (? . 0) q negative?)) q (12494 . 2)) ((c def c (c (? . 0) q natural?)) q (12453 . 2)) ((c form c (c (? . 1) q any)) q (1173 . 2)) ((c form c (c (? . 1) q :)) q (929 . 2)) ((c def c (c (? . 0) q -)) q (10866 . 2)) ((c def c (c (? . 1) q log)) q (7487 . 2)) ((c def c (c (? . 0) q positive?)) q (12716 . 2)) ((c def c (c (? . 1) q /)) q (6220 . 2)) ((c def c (c (? . 1) q for-each)) q (10125 . 2)) ((c def c (c (? . 1) q abs)) q (6545 . 2)) ((c def c (c (? . 1) q denominator)) q (6897 . 2)) ((c def c (c (? . 2) q current-seconds)) q (2876 . 2)) ((c def c (c (? . 1) q real-part)) q (8205 . 2)) ((c def c (c (? . 1) q zero?)) q (8559 . 2)) ((c def c (c (? . 2) q natural?)) q (3780 . 2)) ((c def c (c (? . 1) q real?)) q (8247 . 2)) ((c form c (c (? . 1) q boolean)) q (1119 . 2)) ((c def c (c (? . 0) q rest)) q (14102 . 2)) ((c def c (c (? . 2) q complex?)) q (2797 . 2)) ((c form c (c (? . 1) q cond)) q (659 . 2)) ((c def c (c (? . 1) q imag-part)) q (7257 . 2)) ((c def c (c (? . 2) q exp)) q (3101 . 2)) ((c def c (c (? . 1) q +)) q (6114 . 2)) ((c def c (c (? . 0) q eq?)) q (15063 . 2)) ((c def c (c (? . 2) q strings-list->string)) q (5422 . 2)) ((c def c (c (? . 0) q string-length)) q (14338 . 2)) ((c def c (c (? . 0) q random)) q (12815 . 2)) ((c def c (c (? . 1) q asin)) q (6656 . 2)) ((c def c (c (? . 2) q exact?)) q (3059 . 2)) ((c def c (c (? . 1) q sin)) q (8379 . 2)) ((c def c (c (? . 1) q atan)) q (6695 . 2)) ((c def c (c (? . 0) q remainder)) q (12980 . 2)) ((c def c (c (? . 1) q not)) q (8779 . 2)) ((c form c (c (? . 1) q for-all)) q (1861 . 2)) ((c def c (c (? . 0) q empty?)) q (13731 . 2)) ((c def c (c (? . 0) q read)) q (15236 . 2)) ((c def c (c (? . 2) q lcm)) q (3455 . 2)) ((c def c (c (? . 1) q false?)) q (8740 . 2)) ((c form c (c (? . 1) q and)) q (858 . 2)) ((c def c (c (? . 2) q quotient)) q (4088 . 2)) ((c def c (c (? . 2) q negative?)) q (3821 . 2)) ((c def c (c (? . 0) q tan)) q (13216 . 2)) ((c def c (c (? . 2) q expt)) q (3139 . 2)) ((c def c (c (? . 1) q cons?)) q (8974 . 2)) ((c def c (c (? . 0) q angle)) q (11313 . 2)) ((c def c (c (? . 2) q real?)) q (4269 . 2)) ((c def c (c (? . 2) q boolean?)) q (4677 . 2)) ((c form c (c (? . 1) q combined)) q (1370 . 2)) ((c def c (c (? . 0) q max)) q (12311 . 2)) ((c def c (c (? . 2) q true?)) q (4841 . 2)) ((c def c (c (? . 1) q -)) q (6171 . 2)) ((c def c (c (? . 0) q equal?)) q (13391 . 2)) ((c def c (c (? . 1) q equal?)) q (8696 . 2)) ((c def c (c (? . 1) q <=)) q (6329 . 2)) ((c form c (c (? . 1) q lambda)) q (553 . 2)) ((c form c (c (? . 1) q else)) q (816 . 2)) ((c def c (c (? . 1) q positive?)) q (8021 . 2)) ((c def c (c (? . 1) q write-string)) q (10422 . 2)) ((c def c (c (? . 2) q magnitude)) q (3547 . 2)) ((c def c (c (? . 0) q rational?)) q (12858 . 2)) ((c def c (c (? . 0) q exact->inexact)) q (11683 . 2)) ((c def c (c (? . 2) q gcd)) q (3225 . 2)) ((c form c (c (? . 1) q expect-range)) q (2014 . 2)) ((c def c (c (? . 1) q true?)) q (8819 . 2)) ((c form c (c (? . 1) q check-property)) q (1623 . 2)) ((c def c (c (? . 1) q lcm)) q (7433 . 2)) ((c def c (c (? . 2) q write-string)) q (5651 . 2)) ((c def c (c (? . 2) q <=)) q (2351 . 2)) ((c form c (c (? . 1) q number)) q (949 . 2)) ((c def c (c (? . 0) q map)) q (15170 . 2)) ((c def c (c (? . 2) q inexact?)) q (3370 . 2)) ((c def c (c (? . 1) q angle)) q (6618 . 2)) ((c def c (c (? . 2) q acos)) q (2601 . 2)) ((c form c (c (? . 1) q real)) q (963 . 2)) ((c def c (c (? . 1) q random)) q (8120 . 2)) ((c def c (c (? . 1) q reverse)) q (9460 . 2)) ((c def c (c (? . 0) q for-each)) q (15102 . 2)) ((c def c (c (? . 0) q real-part)) q (12900 . 2)) ((c def c (c (? . 2) q string-length)) q (5006 . 2)) ((c form c (c (? . 1) q λ)) q (603 . 2)) ((c def c (c (? . 0) q string->strings-list)) q (14211 . 2)) ((c def c (c (? . 1) q length)) q (9256 . 2)) ((c def c (c (? . 0) q expt)) q (11812 . 2)) ((c def c (c (? . 2) q >=)) q (2514 . 2)) ((c def c (c (? . 1) q tan)) q (8521 . 2)) ((c def c (c (? . 0) q cons)) q (13612 . 2)) ((c def c (c (? . 0) q true?)) q (13514 . 2)) ((c def c (c (? . 2) q abs)) q (2567 . 2)) ((c def c (c (? . 1) q complex?)) q (6775 . 2)) ((c def c (c (? . 1) q number->string)) q (7844 . 2)) ((c def c (c (? . 2) q floor)) q (3186 . 2)) ((c def c (c (? . 0) q quotient)) q (12761 . 2)) ((c def c (c (? . 0) q first)) q (13844 . 2)) ((c def c (c (? . 1) q append)) q (8857 . 2)) ((c def c (c (? . 0) q current-seconds)) q (11549 . 2)) ((c def c (c (? . 0) q empty)) q (13707 . 2)) ((c form c (c (? . 1) q letrec)) q (5807 . 2)) ((c form c (c (? . 1) q property)) q (1201 . 2)) ((c def c (c (? . 1) q expt)) q (7117 . 2)) ((c form c (c (? . 1) q signature)) q (905 . 2)) ((c def c (c (? . 0) q cons?)) q (13669 . 2)) ((c def c (c (? . 2) q >)) q (2462 . 2)) ((c def c (c (? . 2) q sqrt)) q (4439 . 2)) ((c def c (c (? . 1) q round)) q (8340 . 2)) ((c form c (c (? . 1) q expect-member-of)) q (1971 . 2)) ((c def c (c (? . 1) q natural?)) q (7758 . 2)) ((c def c (c (? . 2) q odd?)) q (4002 . 2)) ((c def c (c (? . 1) q string=?)) q (9823 . 2)) ((c def c (c (? . 0) q filter)) q (13770 . 2)) ((c form c (c (? . 1) q if)) q (828 . 2)) ((c def c (c (? . 1) q inexact->exact)) q (7299 . 2)) ((c form c (c (? . 1) q cons-list-of)) q (5742 . 2)) ((c def c (c (? . 0) q *)) q (10752 . 2)) ((c def c (c (? . 1) q exp)) q (7079 . 2)) ((c def c (c (? . 2) q zero?)) q (4581 . 2)) ((c def c (c (? . 1) q empty?)) q (9036 . 2)) ((c def c (c (? . 2) q -)) q (2193 . 2)) ((c def c (c (? . 0) q violation)) q (15307 . 2)) ((c def c (c (? . 0) q string=?)) q (14518 . 2)) ((c def c (c (? . 2) q integer?)) q (3414 . 2)) ((c def c (c (? . 1) q string>=?)) q (9888 . 2)) ((c def c (c (? . 2) q string<?)) q (5121 . 2)) ((c form c (c (? . 1) q match)) q (1653 . 10)) ((c def c (c (? . 0) q acos)) q (11274 . 2)) ((c def c (c (? . 0) q denominator)) q (11592 . 2)) ((c def c (c (? . 0) q even?)) q (11641 . 2)) ((c def c (c (? . 1) q read)) q (10259 . 2)) ((c def c (c (? . 0) q reverse)) q (14155 . 2)) ((c def c (c (? . 2) q equal?)) q (4718 . 2)) ((c def c (c (? . 1) q integer?)) q (7392 . 2)) ((c def c (c (? . 0) q cos)) q (11511 . 2)) ((c def c (c (? . 2) q signature?)) q (5516 . 2)) ((c def c (c (? . 1) q floor)) q (7164 . 2)) ((c def c (c (? . 1) q quotient)) q (8066 . 2)) ((c form c (c (? . 1) q check-within)) q (1432 . 2)) ((c def c (c (? . 2) q not)) q (4801 . 2)) ((c form c (c (? . 1) q check-satisfied)) q (1514 . 2)) ((c form c (c (? . 1) q check-member-of)) q (1472 . 2)) ((c def c (c (? . 1) q ceiling)) q (6734 . 2)) ((c def c (c (? . 1) q cons)) q (8917 . 2)) ((c def c (c (? . 0) q zero?)) q (13254 . 2)) ((c def c (c (? . 0) q magnitude)) q (12220 . 2)) ((c form c (c (? . 1) q predicate)) q (1217 . 2)) ((c def c (c (? . 0) q not)) q (13474 . 2)) ((c def c (c (? . 2) q max)) q (3638 . 2)) ((c def c (c (? . 2) q inexact->exact)) q (3321 . 2)) ((c def c (c (? . 0) q string?)) q (14714 . 2)) ((c def c (c (? . 0) q string>?)) q (14649 . 2)) ((c def c (c (? . 1) q write-newline)) q (10378 . 2)) ((c form c (c (? . 1) q define-record)) q (26 . 8)) ((c def c (c (? . 2) q +)) q (2136 . 2)) ((c def c (c (? . 2) q remainder)) q (4307 . 2)) ((c form c (c (? . 1) q enum)) q (1242 . 2)) ((c def c (c (? . 2) q atan)) q (2717 . 2)) ((c def c (c (? . 2) q round)) q (4362 . 2)) ((c form c (c (? . 3) q lambda)) q (10638 . 2)) ((c def c (c (? . 1) q exact?)) q (7037 . 2)) ((c def c (c (? . 0) q log)) q (12182 . 2)) ((c def c (c (? . 1) q signature?)) q (10287 . 2)) ((c def c (c (? . 1) q rest)) q (9407 . 2)) ((c form c (c (? . 1) q list-of)) q (5720 . 2)) ((c def c (c (? . 0) q atan)) q (11390 . 2)) ((c def c (c (? . 0) q =)) q (11077 . 2)) ((c def c (c (? . 0) q list)) q (14000 . 2)) ((c form c (c (? . 0) q quote)) q (10490 . 2)) ((c def c (c (? . 2) q angle)) q (2640 . 2)) ((c def c (c (? . 1) q modulo)) q (7706 . 2))))
syntax
(define id expr)
syntax
(define-record type
  constructor
  (selector signature) ...)
(define-record type
  constructor
  predicate?
  (selector signature) ...)
syntax
(define-record (type-constructor signature-parameter ...)
   constructor
   (selector signature) ...)
(define-record (type-constructor signature-parameter ...)
   constructor
   predicate?
   (selector signature) ...)
syntax
(define-singleton signature name?)
(define-singleton signature name predicate?)
syntax
(expr expr ...)
syntax
(lambda (id ...) definition ... expr)
syntax
(λ (id ...) definition ... expr)
syntax
id
syntax
(cond (expr definition ... expr) ... (expr definition ... expr))
syntax
(cond (expr definition ... expr) ... (else definition expr))
syntax
else
syntax
(if expr expr expr)
syntax
(and expr ...)
syntax
(or expr ...)
syntax
(signature sig)
syntax
(: id sig)
syntax
number
syntax
real
syntax
rational
syntax
integer
procedure
(integer-from-to low high) -> signature?
  low : integer?
  high : integer?
syntax
natural
syntax
boolean
syntax
true
syntax
false
syntax
string
syntax
any
syntax
signature
syntax
property
syntax
(predicate expr)
syntax
(enum expr ...)
syntax
(mixed sig ...)
syntax
->
syntax
(sig ... -> sig)
syntax
%a
syntax
%b
syntax
%c
syntax
...
syntax
(combined sig ...)
syntax
(check-expect expr expr)
syntax
(check-within expr expr expr)
syntax
(check-member-of expr expr ...)
syntax
(check-satisfied expr pred)
syntax
(check-range expr expr expr)
syntax
(check-error expr expr)
syntax
(check-property expr)
syntax
(match expr (pattern definition ... expr) ...)
 
pattern = id
        | #t
        | #f
        | string
        | number
        | ...
        | (constructor pattern ...)
syntax
(for-all ((id sig) ...) expr)
syntax
(expect expr expr)
syntax
(expect-within expr expr expr)
syntax
(expect-member-of expr expr ...)
syntax
(expect-range expr expr expr)
syntax
(==> expr expr)
function
* : (number number number ... -> number)
function
+ : (number number number ... -> number)
function
- : (number number ... -> number)
function
/ : (number number number ... -> number)
function
< : (real real real ... -> boolean)
function
<= : (real real real ... -> boolean)
function
= : (number number number ... -> boolean)
function
> : (real real real ... -> boolean)
function
>= : (real real real ... -> boolean)
function
abs : (real -> real)
function
acos : (number -> number)
function
angle : (number -> real)
function
asin : (number -> number)
function
atan : (number -> number)
function
ceiling : (real -> integer)
function
complex? : (any -> boolean)
function
cos : (number -> number)
function
current-seconds : (-> natural)
function
denominator : (rational -> natural)
function
even? : (integer -> boolean)
function
exact->inexact : (number -> number)
function
exact? : (number -> boolean)
function
exp : (number -> number)
function
expt : (number number -> number)
function
floor : (real -> integer)
function
gcd : (integer integer ... -> natural)
function
imag-part : (number -> real)
function
inexact->exact : (number -> number)
function
inexact? : (number -> boolean)
function
integer? : (any -> boolean)
function
lcm : (integer integer ... -> natural)
function
log : (number -> number)
function
magnitude : (number -> real)
function
make-polar : (real real -> number)
function
max : (real real ... -> real)
function
min : (real real ... -> real)
function
modulo : (integer integer -> integer)
function
natural? : (any -> boolean)
function
negative? : (number -> boolean)
function
number->string : (number -> string)
function
number? : (any -> boolean)
function
numerator : (rational -> integer)
function
odd? : (integer -> boolean)
function
positive? : (number -> boolean)
function
quotient : (integer integer -> integer)
function
random : (natural -> natural)
function
rational? : (any -> boolean)
function
real-part : (number -> real)
function
real? : (any -> boolean)
function
remainder : (integer integer -> integer)
function
round : (real -> integer)
function
sin : (number -> number)
function
sqrt : (number -> number)
function
string->number : (string -> (mixed number false))
function
tan : (number -> number)
function
zero? : (number -> boolean)
function
boolean=? : (boolean boolean -> boolean)
function
boolean? : (any -> boolean)
function
equal? : (any any -> boolean)
function
false? : (any -> boolean)
function
not : (boolean -> boolean)
function
true? : (any -> boolean)
function
string->strings-list : (string -> (list-of string))
function
string-append : (string string ... -> string)
function
string-length : (string -> natural)
function
string<=? : (string string string ... -> boolean)
function
string<? : (string string string ... -> boolean)
function
string=? : (string string string ... -> boolean)
function
string>=? : (string string string ... -> boolean)
function
string>? : (string string string ... -> boolean)
function
string? : (any -> boolean)
function
strings-list->string : ((list-of string) -> string)
function
read : (-> any)
function
signature? : (any -> boolean)
function
violation : (string -> unspecific)
function
write-newline : (-> unspecific)
function
write-string : (string -> unspecific)
syntax
empty-list
syntax
(list-of sig)
syntax
(cons-list-of sig)
syntax
(let ((id expr) ...) expr)
syntax
(letrec ((id expr) ...) expr)
syntax
(let* ((id expr) ...) expr)
syntax
(match expr (pattern definition ... expr) ...)
 
pattern = ...
        | empty
        | (cons pattern pattern)
        | (list pattern ...)
function
* : (number number number ... -> number)
function
+ : (number number number ... -> number)
function
- : (number number ... -> number)
function
/ : (number number number ... -> number)
function
< : (real real real ... -> boolean)
function
<= : (real real real ... -> boolean)
function
= : (number number number ... -> boolean)
function
> : (real real real ... -> boolean)
function
>= : (real real real ... -> boolean)
function
abs : (real -> real)
function
acos : (number -> number)
function
angle : (number -> real)
function
asin : (number -> number)
function
atan : (number -> number)
function
ceiling : (real -> integer)
function
complex? : (any -> boolean)
function
cos : (number -> number)
function
current-seconds : (-> natural)
function
denominator : (rational -> natural)
function
even? : (integer -> boolean)
function
exact->inexact : (number -> number)
function
exact? : (number -> boolean)
function
exp : (number -> number)
function
expt : (number number -> number)
function
floor : (real -> integer)
function
gcd : (integer integer ... -> natural)
function
imag-part : (number -> real)
function
inexact->exact : (number -> number)
function
inexact? : (number -> boolean)
function
integer? : (any -> boolean)
function
lcm : (integer integer ... -> natural)
function
log : (number -> number)
function
magnitude : (number -> real)
function
make-polar : (real real -> number)
function
max : (real real ... -> real)
function
min : (real real ... -> real)
function
modulo : (integer integer -> integer)
function
natural? : (any -> boolean)
function
negative? : (number -> boolean)
function
number->string : (number -> string)
function
number? : (any -> boolean)
function
numerator : (rational -> integer)
function
odd? : (integer -> boolean)
function
positive? : (number -> boolean)
function
quotient : (integer integer -> integer)
function
random : (natural -> natural)
function
rational? : (any -> boolean)
function
real-part : (number -> real)
function
real? : (any -> boolean)
function
remainder : (integer integer -> integer)
function
round : (real -> integer)
function
sin : (number -> number)
function
sqrt : (number -> number)
function
string->number : (string -> (mixed number false))
function
tan : (number -> number)
function
zero? : (number -> boolean)
function
boolean=? : (boolean boolean -> boolean)
function
boolean? : (any -> boolean)
function
equal? : (any any -> boolean)
function
false? : (any -> boolean)
function
not : (boolean -> boolean)
function
true? : (any -> boolean)
function
append : ((list-of %a) ... -> (list-of %a))
function
cons : (%a (list-of %a) -> (list-of %a))
function
cons? : (any -> boolean)
constant
empty : list
function
empty? : (any -> boolean)
function
filter : ((%a -> boolean) (list-of %a) -> (list-of %a))
function
first : ((list-of %a) -> %a)
function
fold : (%b (%a %b -> %b) (list-of %a) -> %b)
function
length : ((list-of %a) -> natural)
function
list : (%a ... -> (list-of %a))
function
list-ref : ((list-of %a) natural -> %a)
function
rest : ((list-of %a) -> (list-of %a))
function
reverse : ((list-of %a) -> (list-of %a))
function
string->strings-list : (string -> (list-of string))
function
string-append : (string string ... -> string)
function
string-length : (string -> natural)
function
string<=? : (string string string ... -> boolean)
function
string<? : (string string string ... -> boolean)
function
string=? : (string string string ... -> boolean)
function
string>=? : (string string string ... -> boolean)
function
string>? : (string string string ... -> boolean)
function
string? : (any -> boolean)
function
strings-list->string : ((list-of string) -> string)
function
for-each : ((%a -> %b) (list-of %a) -> unspecific)
function
map : ((%a -> %b) (list-of %a) -> (list-of %b))
function
read : (-> any)
function
signature? : (any -> boolean)
function
violation : (string -> unspecific)
function
write-newline : (-> unspecific)
function
write-string : (string -> unspecific)
syntax
’quoted
syntax
(quote quoted)
syntax
symbol
syntax
(match expr (pattern expr) ...)
 
pattern = ...
        | ’quoted
syntax
(define id expr)
syntax
(lambda (id id ... . id) expr)
syntax
(λ (id id ... . id) expr)
syntax
(begin expr ... expr)
function
* : (number number number ... -> number)
function
+ : (number number number ... -> number)
function
- : (number number ... -> number)
function
/ : (number number number ... -> number)
function
< : (real real real ... -> boolean)
function
<= : (real real real ... -> boolean)
function
= : (number number number ... -> boolean)
function
> : (real real real ... -> boolean)
function
>= : (real real real ... -> boolean)
function
abs : (real -> real)
function
acos : (number -> number)
function
angle : (number -> real)
function
asin : (number -> number)
function
atan : (number -> number)
function
ceiling : (real -> integer)
function
complex? : (any -> boolean)
function
cos : (number -> number)
function
current-seconds : (-> natural)
function
denominator : (rational -> natural)
function
even? : (integer -> boolean)
function
exact->inexact : (number -> number)
function
exact? : (number -> boolean)
function
exp : (number -> number)
function
expt : (number number -> number)
function
floor : (real -> integer)
function
gcd : (integer integer ... -> natural)
function
imag-part : (number -> real)
function
inexact->exact : (number -> number)
function
inexact? : (number -> boolean)
function
integer? : (any -> boolean)
function
lcm : (integer integer ... -> natural)
function
log : (number -> number)
function
magnitude : (number -> real)
function
make-polar : (real real -> number)
function
max : (real real ... -> real)
function
min : (real real ... -> real)
function
modulo : (integer integer -> integer)
function
natural? : (any -> boolean)
function
negative? : (number -> boolean)
function
number->string : (number -> string)
function
number? : (any -> boolean)
function
numerator : (rational -> integer)
function
odd? : (integer -> boolean)
function
positive? : (number -> boolean)
function
quotient : (integer integer -> integer)
function
random : (natural -> natural)
function
rational? : (any -> boolean)
function
real-part : (number -> real)
function
real? : (any -> boolean)
function
remainder : (integer integer -> integer)
function
round : (real -> integer)
function
sin : (number -> number)
function
sqrt : (number -> number)
function
string->number : (string -> (mixed number false))
function
tan : (number -> number)
function
zero? : (number -> boolean)
function
boolean=? : (boolean boolean -> boolean)
function
boolean? : (any -> boolean)
function
equal? : (any any -> boolean)
function
false? : (any -> boolean)
function
not : (boolean -> boolean)
function
true? : (any -> boolean)
function
append : ((list-of %a) ... -> (list-of %a))
function
cons : (%a (list-of %a) -> (list-of %a))
function
cons? : (any -> boolean)
constant
empty : list
function
empty? : (any -> boolean)
function
filter : ((%a -> boolean) (list-of %a) -> (list-of %a))
function
first : ((list-of %a) -> %a)
function
fold : (%b (%a %b -> %b) (list-of %a) -> %b)
function
length : ((list-of %a) -> natural)
function
list : (%a ... -> (list-of %a))
function
list-ref : ((list-of %a) natural -> %a)
function
rest : ((list-of %a) -> (list-of %a))
function
reverse : ((list-of %a) -> (list-of %a))
function
string->strings-list : (string -> (list-of string))
function
string-append : (string string ... -> string)
function
string-length : (string -> natural)
function
string<=? : (string string string ... -> boolean)
function
string<? : (string string string ... -> boolean)
function
string=? : (string string string ... -> boolean)
function
string>=? : (string string string ... -> boolean)
function
string>? : (string string string ... -> boolean)
function
string? : (any -> boolean)
function
strings-list->string : ((list-of string) -> string)
function
string->symbol : (string -> symbol)
function
symbol->string : (symbol -> string)
function
symbol=? : (symbol symbol -> boolean)
function
symbol? : (any -> boolean)
function
apply : (function (list-of %a) -> %b)
function
eq? : (%a %b -> boolean)
function
for-each : ((%a -> %b) (list-of %a) -> unspecific)
function
map : ((%a -> %b) (list-of %a) -> (list-of %b))
function
read : (-> any)
function
signature? : (any -> boolean)
function
violation : (string -> unspecific)
function
write-newline : (-> unspecific)
function
write-string : (string -> unspecific)
