a_lang_object" class="anchor"></a><code><span class="keyword">val</span> pointer_to_java_lang_object : <a href="index.html#type-t">t</a></code></dt><dt class="spec value" id="val-pointer_to_java_lang_string"><a href="#val-pointer_to_java_lang_string" class="anchor"></a><code><span class="keyword">val</span> pointer_to_java_lang_string : <a href="index.html#type-t">t</a></code></dt><dt class="spec value" id="val-get_ikind_opt"><a href="#val-get_ikind_opt" class="anchor"></a><code><span class="keyword">val</s