On Fri, Apr 27, 2012 at 5:55 PM, Asumu Takikawa <as...@ccs.neu.edu> wrote: > (and/c (class/c #:opaque [m (->m number? number?)]) > (class/c #:opaque [n (->m number? number?)]))
Would it be possible to do
(opaque/c (and/c (class/c [m (->m number? number?)])
(class/c [n (->m number? number?)])))
and would it help?
_________________________
Racket Developers list:
http://lists.racket-lang.org/dev
