| utility | In Vaucanson, several types of contracts can be placed in the library code |
| utility::random | The namespace for the random generation tools |
| utility::unique | The namespace for the instance collection tools |
| vcsn | The main namespace of the Vaucanson library |
| vcsn::algebra::krat_exp_lexing | Misc. declarations used for rational expression lexing |
1.3.4