Syntax extension to define first class values representing variant types. Part of Jane Street's alternative standard library for OCaml.