ass="identifier">demangle</span><span class="special">.</span><span class="identifier">hpp</span><span class="special">&gt;</span></code>
        defines several tools for undecorating symbol names.
      </p>
<div class="section">
<div class="titlepage"><div><div><h4 class="title">
<a name="core.demangle.header_boost_core_demangle_hpp.synopsis"></a><a class="link" href="demangle.html#core.demangle.header_boost_core_demangle_hpp.synopsis" title="Synopsis">Synopsis</a>
</h4></div></div></div>
<pre class="pro