Version: 5.2.1
8 Legacy Forms
The following forms are provided by Typed Racket for backwards compatibility.
Equivalent to define-type.
Equivalent to define-struct:
Similar to using the opaque
keyword with require/typed.
Similar to using the struct
keyword with require/typed.
Defines a polymorphic function.
(pred t)
An alias for U.
An alias for Rec.
An alias for List.
An alias for Parameterof.
An alias for Pairof.
An alias for Values.