On this page:
require/  typed
require-typed-struct
6.10.1

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
Similar to require/typed, but as if #:extra-constructor-name make-name was supplied.

Similar to using the struct keyword with require/typed.