(index ("simple-contracts" 0) ("contract-check-level" 189) ("xdefine" 394) ("xdefine" 394) ("xdefine" 394) ("xdefine" 394) ("xlambda" 1143) ("xlambda" 1143) ("xlambda" 1844) ("xlambda" 1844) ("xlambda" 1844) ("xlambda" 1844) ("%%" 2290) ("pipe" 2398))
(def (sig (procedure "(simple-contracts sym ..)" (id simple-contracts))) (p "documentation procedure. Shows the exported symbols and the syntax of such an exported symbol, respectively."))
(def (sig (parameter "(contract-check-level n ..)" (id contract-check-level))) (p "no contract checks if n is -1 only precondition checks if n is 0, the default pre- and postcondition checks if n is +1"))
(def (sig (syntax "(xdefine ((r r? ...) .. name (a a? ...) ... ) xpr ....)" (id xdefine)) (syntax "(xdefine ((r r? ...) .. #(post name pre) (a a? ...) ... ) xpr ....)" (id xdefine)) (syntax "(xdefine ((r r? ...) .. name (a a? ...) ... as as? ...) xpr ....)" (id xdefine)) (syntax "(xdefine ((r r? ...) .. #(post name pre) (a a? ...) ... as as?  ...) xpr ....)" (id xdefine))) (p "Contract guarded version of define for procedures, where name is the name of the procedure, post and pre document post- and preconditions r ... are return values with corresponding postconditions r? ... a ... are arguments with preconditions a? ... as is a variable collecting rest-parameters with preconditions as? for each such argument, and xpr starts the body.."))
(def (sig (syntax "(xlambda ((r r? ...) .. <- (a a? ...) ...) xpr ....)" (id xlambda)) (syntax "(xlambda ((r r? ...) .. <- (a a? ...) ... as as? ...) xpr ....)" (id xlambda))) (p "where <- separates the results r with postconditions r? ... from the arguments a with preconditions a? ... a rest-parameter as with preconditions as? for each such argument and the body xpr .....") (p "Each xlambda call returns three values, the procedure proper, contract-checked or not, depending on the value of contract-check-level, and documentation of pre- and postconditions in this order.") (p "Deprecated versions of xlambda exist as well. Here k is the number of returned values, if provided, one otherwise."))
(def (sig (syntax "(xlambda k ((r r? ...) ... (a a? ...) ... ) xpr ....)" (id xlambda)) (syntax "(xlambda k ((r r? ...) ... (a a? ...) ... as as? ...) xpr ....)" (id xlambda)) (syntax "(xlambda ((r r? ...) (a a? ...) ... ) xpr ....)" (id xlambda)) (syntax "(xlambda ((r r? ...) (a a? ...) ... as as? ...) xpr ....)" (id xlambda))) (p "procedures with state change should return the values of state variables after and before the state change."))
(def (sig (procedure "(%% proc)" (id %%))) (p "multi argument version of flip, which can be used in pipe"))
(def (sig (syntax "(pipe combination ...)" (id pipe))) (p "sequencing curried combinations from left to right"))
