The variants vocabulary provides syntax and combinators for defining and manipulating algebraic data types.

VARIANT:

VARIANT-MEMBER:

variant-class

match ( branches -- quot )