10 template <
typename GenSet>
14 template <
typename LabelSet>
21 template <Automaton Aut>
27 template <
typename... LabelSets>
31 template <
typename... LabelSets>
35 template <
typename GenSet>
Implementation of labels are words.
Implementation of labels are nullables (letter or empty).
Provide a variadic mul on top of a binary mul(), and one().
Implementation of labels are ones: there is a single instance of label.
Implementation of labels are letters.
A ValueSet which is a Cartesian product of ValueSets.