var a01307 =
[
    [ "std::char_traits&lt; __gnu_cxx::character&lt; _Value, _Int, _St &gt; &gt;", "a11947.html", null ],
    [ "__gnu_cxx::character&lt; _Value, _Int, _St &gt;", "a11943.html", null ]
];