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.
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.
(define-typed-struct/exec forms ...)
Defines an executable structure.