8.17
14 Compatibility Languages
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.