-native_symbol">native_symbol</a> <span>&#45;&gt;</span> unit</code></dt><dd><p>Output a JSON value of type <a href="index.html#type-native_symbol"><code>native_symbol</code></a>.</p></dd></dl><dl><dt class="spec value" id="val-string_of_native_symbol"><a href="#val-string_of_native_symbol" class="anchor"></a><code><span class="keyword">val</span> string_of_native_symbol : <span>?&#8288;len:int</span> <span>&#45;&gt;</span> <a href="index.html#type-native_symbol">native_symbol</a> <span>&#45;&gt;</span> str