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

From: Asumu Takikawa (asumu at ccs.neu.edu)
Date: Tue Aug 21 14:51:35 EDT 2012

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.


Posted on the dev mailing list.