dex.html#type-t">t</a></code></dt><dt class="spec value" id="val-double"><a href="#val-double" class="anchor"></a><code><span class="keyword">val</span> double : <a href="index.html#type-t">t</a></code></dt><dt class="spec value" id="val-void_star"><a href="#val-void_star" class="anchor"></a><code><span class="keyword">val</span> void_star : <a href="index.html#type-t">t</a></code></dt><dd><p>void* type</p></dd></dl><dl><dt class="spec value" id="val-pointer_to_java_lang_object"><a href="#val-pointer_to_jav