A variant is an arm of a datatype declaration. For example, the datatype

datatype t = A | B of int | C of real

has three variants: A, B, and C.