Vocabulary
classes.algebra

Inputs
classa class


Outputs
seqa sequence of classs


Word description
Outputs a set of builtin and tuple classes whose union is the smallest cover of class.

Definition