On this page:
define-type-alias
define-typed-struct
require/  opaque-type
require-typed-struct
require-typed-struct/  provide
pdefine:
pred
Un
mu
Tuple
Parameter
Pair
values
6.0

9 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.
Similar to require-typed-struct, but also provides the imported identifiers.

syntax

pdefine:

Defines a polymorphic function.

syntax

(pred t)

Equivalent to (Any -> Boolean : t).

syntax

Un

An alias for U.

syntax

mu

An alias for Rec.

syntax

Tuple

An alias for List.

syntax

Parameter

An alias for Parameterof.

syntax

Pair

An alias for Pairof.

syntax

values

An alias for Values.