2htdp/universe.ss
#lang typed/scheme
;; 2htdp/universe
(provide (all-defined-out))
(require (planet cce/scheme:6:3/planet)
         (this-package-in 2htdp/image))

(require/typed 2htdp/universe [animate ((Exact-Nonnegative-Integer -> Image) -> #t)])