Beispiel #1
0
 void erase(symbol const & name) {
     m_info.erase(name);
 }