From 269a9ba98dcdfd3b9b9029870a178e8c8198e4d1 Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Mon, 20 Jul 2009 22:48:57 +0000 Subject: [PATCH] svn: r15511 --- collects/scribblings/reference/contracts.scrbl | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/collects/scribblings/reference/contracts.scrbl b/collects/scribblings/reference/contracts.scrbl index 2c53db11ec..853e8c4689 100644 --- a/collects/scribblings/reference/contracts.scrbl +++ b/collects/scribblings/reference/contracts.scrbl @@ -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.