On this page:
Class
Instance
declare-refinement
Refinement
define-typed-struct/ exec
5.3.3

11 Experimental Features

These features are currently experimental and subject to change.

syntax

(Class args ...)

A type constructor for typing classes created using racket/class.

syntax

(Instance c)

A type constructor for typing objects created using racket/class.

syntax

(declare-refinement id)

Declares id to be usable in refinement types.

syntax

(Refinement id)

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

syntax

(define-typed-struct/exec forms ...)

Defines an executable structure.