That seems fine to me. Robby
On Tue, Aug 21, 2012 at 1:51 PM, Asumu Takikawa <[email protected]> wrote: > Hi all, > > Is there any reason that the #:forall, #:∀ clause (dual to #:exists, > #:∃) doesn't exist for contract-out? > > If it's just that nobody has written it, I've attached a patch that > implements it. If there aren't any design issues anyone has in mind, > I'll push it once I write tests and docs. > > Cheers, > Asumu > > _________________________ > Racket Developers list: > http://lists.racket-lang.org/dev > _________________________ Racket Developers list: http://lists.racket-lang.org/dev
