added a defparam

This commit is contained in:
Spencer Florence 2015-04-05 20:31:26 -04:00
parent 52fe61d225
commit 1fa216a650

View File

@ -85,7 +85,7 @@ environment.
@defproc[(environment? [v any/c]) any/c]{
Tests if the given value is a coverage environment.}
@defthing[current-coverage-environment (parameter/c environment?)
@defparam[current-coverage-environment environment environment?
#:value (make-cover-environment)]{
The current coverage environment. Defaults to an environment built from
@racket[make-empty-namespace]}