On this page:
define-datatype

5.3 define-datatype

(define-datatype datatypeid [variantid fieldid ...] ...)
A short-hand for defining a group of related structures. A define-datatype form
(define-datatype datatypeid
  [variantid fieldid ...]
  ...)
is equivalent to
(define (datatypeid? x)
  (or (variantid? x) ...))
(define-struct variantid (fieldid ...))
...