▼The Typed Racket Reference
On this page:
require/  typed
require-typed-struct
8.15.0.2
  top  contents    up   

14 Compatibility Languages🔗ℹ

 #lang typed/scheme package: typed-racket-compatibility
 #lang typed/scheme/base
 #lang typed-scheme
Typed versions of the

#lang scheme

and

#lang scheme/base

languages. The

#lang typed-scheme

language is equivalent to the

#lang typed/scheme/base

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.

syntax

require-typed-struct

Similar to using the struct keyword with require/typed.

  top  contents    up