Version: 5.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.
(Instance c)
A type constructor for typing objects created using racket/class.
(:type t)
Prints the type t.
(:print-type e)
Prints the type of e. This prints the whole
type, which can sometimes be quite large.
(:query-result-type f t)
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.
(declare-refinement id)
Declares id to be usable in
refinement types.
(Refinement id)
Includes values that have been tested with the
predicate id, which must have been specified with
declare-refinement.
(define-typed-struct/exec forms ...)
Defines an executable structure.