Variantslib generates code to support variants as first class by adding "with variants" suffix to variants definition, e.g.,

type t = | first | second | third

with variants