<area shape="rect" href="$a00122.html" title="Structure\&lt; vcsn::Automata\&lt; Series \&gt; \&gt;" alt="" coords="7,5,289,32">
<area shape="rect" href="$a00010.html" title="AutomataBase\&lt; vcsn::Automata\&lt; Series \&gt; \&gt;" alt="" coords="339,5,659,32">
