▼The Typed Racket Reference
On this page:
define-type-alias
define-typed-struct
require/ opaque-type
require-typed-struct
pdefine:
pred
Un
mu
Tuple
Parameter
Pair
Version: 5.1.2
  top← prev  up  next → 

8 Legacy Forms

The following forms are provided by Typed Racket for backwards compatibility.

define-type-alias
Equivalent to define-type.
define-typed-struct
Equivalent to define-struct:
require/opaque-type
Similar to using the opaque keyword with require/typed.
require-typed-struct
Similar to using the struct keyword with require/typed.
pdefine:
Defines a polymorphic function.
(pred t)
Equivalent to (Any -> Boolean : t).

Un
An alias for U.
mu
An alias for Rec.
Tuple
An alias for List.
Parameter
An alias for Parameterof.
Pair
An alias for Pairof.

  top← prev  up  next →