chickadee
»
dbc
»
command-contract
Identifier search
(command-contract ((old new query) ....) (pat pre post) ....)
syntax
hygienic, keys
(
)
requires
(
lambda-list? pat
)
ensures
(
contract? result
)