[racket] typed racket: determining subset?

From: Danny Yoo (dyoo at cs.wpi.edu)
Date: Fri Aug 19 18:52:01 EDT 2011

Let's say that I have two union types, and want to statically make
sure that one is a subset of the other, to prevent some silly bug.  Is
there a way to express this directly in Typed Racket?

Posted on the users mailing list.