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.
| (Instance c) |
A type constructor for typing objects created using racket/class.
| (:type t) |
Prints the 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.