Vocabulary
classes

Inputs
classa class


Outputs
seqa sequence of union members, or f


Word description
If class is a union class, outputs a sequence of its member classes, otherwise outputs f.

Definition