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

Tightens contract for reduction-relation->rule-names

Browse Source
This commit is contained in:
Casey Klein 2010-08-17 12:13:04 -05:00
parent e0643611c3
commit 5bbe748485
1 changed files with 2 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
collects/redex/redex.scrbl
View File

@ -821,10 +821,9 @@ arguments would have stepped.
}
@defproc[(reduction-relation->rule-names [r reduction-relation?])
(listof (union false/c symbol?))]{
(listof symbol?)]{
Returns the names of all of the reduction relation's clauses
(or false if there is no name for a given clause).
Returns the names of the reduction relation's named clauses.
}
@defform[(compatible-closure reduction-relation lang non-terminal)]{