svn: r15511

This commit is contained in:
Robby Findler 2009-07-20 22:48:57 +00:00
parent 574b532e80
commit 269a9ba98d

View File

@ -79,10 +79,10 @@ better memory performance, but it also allows multiple results.}
A @tech{flat contract} that accepts no values.}
@defproc[(or/c [contract (or/c contract? (any/c . -> . any/c))] ...)
@defproc[(or/c [contract contract?] ...)
contract?]{
Takes any number of predicates and higher-order contracts and returns
Takes any number of contracts and returns
a contract that accepts any value that any one of the contracts
accepts, individually.