pan><span>{</span></code><ol><li id="type-native_symbol.name" class="def record field anchored"><a href="#type-native_symbol.name" class="anchor"></a><code><span>name : string;</span></code></li><li id="type-native_symbol.mangled_name" class="def record field anchored"><a href="#type-native_symbol.mangled_name" class="anchor"></a><code><span>mangled_name : <span>string option</span>;</span></code></li><li id="type-native_symbol.hashed_mangled_name" class="def record field anchored"><a href="#type-native_sym