9 template <
typename GenSet>
13 template <
typename LabelSet>
22 template <
typename... LabelSets>
26 template <
typename... LabelSets>
30 template <
typename GenSet>
Implementation of labels are letters.
Implementation of labels are nullables (letter or empty).
Implementation of labels are ones: there is a single instance of label.
A ValueSet which is a Cartesian product of ValueSets.
Implementation of labels are words.
Provide a variadic mul on top of a binary mul(), and one().