doc5.rkt (82B)
1 #lang repltest typed/racket 2 (define x 0) 3 > x 4 - : Integer [more precisely: Zero] 5 0
