[racket-dev] Class contracts: opaque or transparent?

From: Guillaume Marceau (guillaume.marceau at sefaira.com)
Date: Sat Apr 28 13:24:50 EDT 2012

On Fri, Apr 27, 2012 at 5:55 PM, Asumu Takikawa <asumu at 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?

Posted on the dev mailing list.