On this page:
Class
Instance
: type
: print-type
: query-result-type
declare-refinement
Refinement
define-typed-struct/ exec
Version: 5.2.1

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.

Prints the type of e. This prints the whole type, which can sometimes be quite large.

Given a function f and a desired return type t, shows the arguments types f should be given to return a value of 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.