ve_symbol.name" class="anchor"></a><code>name : string;</code></td></tr><tr id="type-native_symbol.mangled_name" class="anchored"><td class="def field"><a href="#type-native_symbol.mangled_name" class="anchor"></a><code>mangled_name : <span>string option</span>;</code></td></tr><tr id="type-native_symbol.hashed_mangled_name" class="anchored"><td class="def field"><a href="#type-native_symbol.hashed_mangled_name" class="anchor"></a><code>hashed_mangled_name : <span>string option</span>;</code></td></tr></tab