6.3
13 Compatibility Languages
| #lang typed/scheme | package: typed-racket-compatibility | 
| #lang typed/scheme/base | |
| #lang typed-scheme | |
Typed versions of the 
 and 
languages. The 
 language is equivalent to the
 language.
syntax
(require/typed m rt-clause ...)
rt-clause = [r t] | 
[struct name ([f : t] ...) struct-option ...] | 
[struct (name parent) ([f : t] ...) struct-option ...] | [opaque t pred] struct-option = #:constructor-name constructor-id | #:extra-constructor-name constructor-id 
syntax
Similar to using the struct
keyword with require/typed.