On this page:
define-type-alias
define-typed-struct
require/ opaque-type
require-typed-struct
pdefine:
pred
Un
mu
Tuple
Parameter
Pair
values
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)
Equivalent to (Any -> Boolean : 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.