9 lines
127 B
Racket
9 lines
127 B
Racket
#lang typed-scheme
|
|
|
|
(define: x : (Number . Boolean) (cons 3 #f))
|
|
|
|
(define: y : Number (car x))
|
|
|
|
(define: z : Boolean (cdr x))
|
|
|