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

doc: added equiv predicate

Browse Source
This commit is contained in:
Matthias Felleisen 2014-01-26 11:40:19 -08:00
parent 6da7f382fc
commit 22681c5639
1 changed files with 4 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
pkgs/redex-pkgs/redex-doc/redex/scribblings/ref.scrbl
View File

@ -1544,9 +1544,11 @@ Defaults to @racket['()].
@declare-exporting[redex/reduction-semantics redex]
@defform[(test-equal e1 e2)]{
@defform/subs[(test-equal e1 e2)
([option (code:line #:equiv ~)])
#:contracts ([~ (-> any/c any/c boolean)])]{
Tests to see if @racket[e1] is equal to @racket[e2].
Tests to see if @racket[e1] is equal to @racket[e2], modulo @racket[~].
}
@defform/subs[(test-->> rel-expr option ... e1-expr e2-expr ...)