6.1
11 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.