# [racket] Declaring type of identifier defined which typed/racket exports as untyped.

2012/8/5 Sam Tobin-Hochstadt <samth at ccs.neu.edu>:
>* First, the real problem is that `integer-sqrt/remainder` should be
*>* typed; I'll fix that.
*
Thanks.
>* Second, you should use `require/typed` in the interim, with that same type:
*>*
*>* (require/typed racket [integer-sqrt/remainder (Natural Natural -> Natural)])
*
This works in my case.
#lang typed/racket
(require/typed typed/racket
[integer-sqrt/remainder (Natural -> (Values Natural Natural))])
integer-sqrt/remainder
/Jens Axel