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

explained #:domain

Browse Source
This commit is contained in:
Robby Findler 2010-10-20 12:34:14 -05:00
parent b91a0da469
commit c5c6c1c9e6
1 changed files with 3 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
collects/redex/redex.scrbl
View File

@ -696,7 +696,9 @@ Defines a reduction relation casewise, one case for each of the
clauses beginning with @racket[-->] (or with @racket[arrow], if
specified). Each of the @racket[pattern]s
refers to the @racket[language], and binds variables in the
@|tttterm|.
@|tttterm|. If present, the pattern following the @racket[#:domain]
keyword specifies what terms the reduction relation operates on and
is checked when the relation is used.
Following the @|pattern| and @|tterm| can be the name of the
reduction rule, declarations of some fresh variables, and/or