suzanne.soy/racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Fixes test-->>E documentation

Browse Source
This commit is contained in:
Casey Klein 2011-04-15 04:57:01 -05:00
parent 0b9db752ca
commit 7319bd1884
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
collects/redex/redex.scrbl
View File

@ -1166,11 +1166,11 @@ step, using @racket[pred-expr] to determine equivalence.
(test-results)] (test-results)]
@defform/subs[(test-->>∃ option ... rel-expr start-expr spec-expr) @defform/subs[(test-->>∃ option ... rel-expr start-expr goal-expr)
([option (code:line #:steps steps-expr)]) ([option (code:line #:steps steps-expr)])
#:contracts ([rel-expr reduction-relation?] #:contracts ([rel-expr reduction-relation?]
[start-expr any/c] [start-expr any/c]
[spec-expr (or/c (-> any/c any/c) [goal-expr (or/c (-> any/c any/c)
(not/c procedure?))] (not/c procedure?))]
[steps-expr (or/c natural-number/c +inf.0)])]{ [steps-expr (or/c natural-number/c +inf.0)])]{
Tests to see if the term @racket[start-expr] reduces according to the reduction Tests to see if the term @racket[start-expr] reduces according to the reduction