6 lines
120 B
Racket
6 lines
120 B
Racket
#lang typed-scheme
|
|
(require scheme/match)
|
|
(ann (match '(a b c)
|
|
[(list sym more ...) 1]
|
|
[else 1]) Integer)
|