ing</code></dt><dd><p>Serialize a value of type <a href="index.html#type-native_symbol"><code>native_symbol</code></a> into a JSON string.</p><dl><dt>parameter len</dt><dd><p>specifies the initial length of the buffer used internally. Default: 1024.</p></dd></dl></dd></dl><dl><dt class="spec value" id="val-read_native_symbol"><a href="#val-read_native_symbol" class="anchor"></a><code><span class="keyword">val</span> read_native_symbol : Yojson.Safe.lexer_state <span>&#45;&gt;</span> Stdlib.Lexing.lexbuf <sp