9 lines
103 B
Racket
9 lines
103 B
Racket
|
|
#lang typed/scheme/base
|
|
|
|
(define (f x)
|
|
(: g (Integer -> Integer))
|
|
(define (g x)
|
|
(+ x 2))
|
|
(g x))
|