- (define-variant-type (RTD OPTION ...) PREDICATE (VARIANT FIELD ...) ...)syntax
- (define-variant-type RTD PREDICATE (VARIANT FIELD ...) ...)syntax
Defines a new record type RTD, optionally passing a set of OPTIONs to make-rtd. The record has no fields.
If PREDICATE is not #f a predicate procedure for the new record type is defined using define-record-predicate.
Variant subtypes of RTD are defined using define-variant-constructor for each VARIANT clause.