7 lines
110 B
Racket
7 lines
110 B
Racket
#lang typed/racket
|
|
|
|
(: f (Boxof (Number -> Number)))
|
|
(define f (box (lambda: ([x : Number]) x)))
|
|
|
|
(provide f)
|