PasteRack.org
Paste # 40955
2015-04-21 15:22:29

Fork as a new paste.

Paste viewed 94 times.


Embed:

  1. #lang typed/racket
  2.  
  3. (define-type Nums (U 1 2 3 4 5 6 7 8 9 10 11 12 999))

=>