6 lines
119 B
Racket
6 lines
119 B
Racket
#lang racket/load
|
|
(require typed/racket)
|
|
(:print-type +)
|
|
(:print-type (values 2 3 4))
|
|
(:print-type (error 'ManyTypes))
|