[racket-dev] #:forall for contract-out

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