#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)])