Pointer" class="def variant constructor anchored"><a href="#type-deref_kind.Deref_CPointer" class="anchor"></a><code><span>| </span><span><span class="constructor">Deref_CPointer</span></span></code></li><li id="type-deref_kind.Deref_JavaPointer" class="def variant constructor anchored"><a href="#type-deref_kind.Deref_JavaPointer" class="anchor"></a><code><span>| </span><span><span class="constructor">Deref_JavaPointer</span></span></code></li></ol></div></div><div class="odoc-spec"><div class="spec type an