type <Variant> =
  | <Tag> [ of <type> [ * <type> ].. ]
  | <Tag> [ of <type> [ * <type> ].. ]

Polymorphic Variants

  • Starts with a backtick
  • Types are inferred automatically