On this page:
Class
Instance
: type
declare-refinement
Refinement
define-typed-struct/ exec
Version: 5.1.2

10 Experimental Features

These features are currently experimental and subject to change.

(Class args ...)
A type constructor for typing classes created using racket/class.
A type constructor for typing objects created using racket/class.

(:type t)
Prints the type t.

Declares id to be usable in refinement types.

Includes values that have been tested with the predicate id, which must have been specified with declare-refinement.

Defines an executable structure.