(index ("command-contract" 0) ("contract" 204) ("contract-arguments" 383) ("contract-check-level" 558) ("contract-condition-handler" 843) ("contract-condition?" 1037) ("contract-location" 1194) ("contract-text" 1369) ("contract?" 1536) ("define-macro-with-contract" 1673) ("define-with-contract" 1995) ("exit-dbc-with" 2260) ("init-dbc" 2434) ("lambda-list?" 2596) ("macro-contract" 2739) ("make-contract-condition" 2974) ("make-dispatcher" 3200) ("matches?" 3375) ("nested-lambda-list?" 3586) ("push-contract!" 3743) ("string-repeat" 3967))
(def (sig (syntax "(command-contract ((old new query) ....) (pat pre post) ....)" (id command-contract))) (highlight scheme "hygienic, keys ()\nrequires (lambda-list? pat)\nensures  (contract? result)"))
(def (sig (syntax "(contract (result ....) (pat pre post) ....)" (id contract))) (highlight scheme "hygienic, keys ()\nrequires (lambda-list? pat)\nensures  (contract? result)"))
(def (sig (procedure "(contract-arguments cnd)" (id contract-arguments))) (highlight scheme "function (result)\nrequires (contract-condition? cnd)\nensures  (list? result)"))
(def (sig (parameter "(contract-check-level x ..)" (id contract-check-level))) (highlight scheme "requires (and (integer? x)\n              (<= 0 x 2)\n              \"0: no checks\"\n              \"1: preconditions checked\"\n              \"2: pre- and postconditions checked\")"))
(def (sig (procedure "(contract-condition-handler exn)" (id contract-condition-handler))) (highlight scheme "function (result)\nrequires (condition? exn)\nensures  result of handled exeption"))
(def (sig (procedure "(contract-condition? xpr)" (id contract-condition?))) (highlight scheme "function (result)\nrequires #t\nensures  (boolean? result)"))
(def (sig (procedure "(contract-location cnd)" (id contract-location))) (highlight scheme "function (result)\nrequires (contract-condition? cnd)\nensures  (symbol? result)"))
(def (sig (procedure "(contract-text cnd)" (id contract-text))) (highlight scheme "function (result)\nrequires (contract-condition? cnd)\nensures  (string? result)"))
(def (sig (procedure "(contract? xpr)" (id contract?))) (highlight scheme "function (result)\nrequires #t\nensures  (boolean? result)"))
(def (sig (syntax "(define-macro-with-contract name contr (transformer-type proc))" (id define-macro-with-contract))) (highlight scheme "hygienic, keys ()\nrequires (contract? contr)\nensures  (begin (push-contract! (car (contr (quote name)))) (define-syntax name (transformer-type ((cdr (contr (quote name))) proc))))"))
(def (sig (syntax "(define-with-contract name contr proc)" (id define-with-contract))) (highlight scheme "hygienic, keys ()\nrequires (contract? contr)\nensures  (begin (push-contract! (car (contr (quote name)))) (define name ((cdr (contr (quote name))) proc)))"))
(def (sig (syntax "(exit-dbc-with name)" (id exit-dbc-with))) (highlight scheme "hygienic, keys ()\nrequires (symbol? name)\nensures  saves *contracts* in dispatcher name"))
(def (sig (syntax "(init-dbc)" (id init-dbc))) (highlight scheme "unhygienic, exports *contracts* keys ()\nrequires #t\nensures  initializes exception handler"))
(def (sig (procedure "(lambda-list? xpr)" (id lambda-list?))) (highlight scheme "function (result)\nrequires #t\nensures  (boolean? result)"))
(def (sig (syntax "(macro-contract hyg ... (key ...) (pat fender matcher) ....)" (id macro-contract))) (highlight scheme "hygienic, keys ()\nrequires (and (nested-lambda-list? pat) (procedure? matcher))\nensures  (contract? result)"))
(def (sig (procedure "(make-contract-condition location text . arguments)" (id make-contract-condition))) (highlight scheme "function (result)\nrequires (and (symbol? location) (string? text))\nensures  (condition? result)"))
(def (sig (procedure "(make-dispatcher alist)" (id make-dispatcher))) (highlight scheme "function (result)\nrequires ((list-of? list?) alist)\nensures  (procedure? result)"))
(def (sig (syntax "(matches? pat . fenders)" (id matches?))) (highlight scheme "hygienic, keys ()\nrequires (nested-lambda-list? pat)\nensures  procedure returning #t if its argument matches pat with fenders"))
(def (sig (procedure "(nested-lambda-list? xpr)" (id nested-lambda-list?))) (highlight scheme "function (result)\nrequires #t\nensures  (boolean? result)"))
(def (sig (syntax "(push-contract! contract-docu)" (id push-contract!))) (highlight scheme "hygienic, keys ()\nrequires documentation of a contract\nensures  (matches? (set! *contracts* (cons contract-docu *contracts*)))"))
(def (sig (procedure "(string-repeat str n)" (id string-repeat))) (highlight scheme "function (result)\nrequires (and (string? str) (not (negative? n)))\nensures  (string? result)"))
