#lang typed/scheme
;; 2htdp/universe
(provide animate)
(require (planet cce/scheme:7/planet)
         (this-package-in 2htdp/image))

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