typed-racket/typed-racket-test/succeed/opt-lambda.rkt

#lang typed/racket

(: opt (case-lambda ( -> Void)
                    (Integer -> Void)))
(define opt
  (opt-lambda: ((n : Integer 0))
    (display n)))
(opt)
(opt 1)