prim.Deref" class="anchor"></a><code><span>| </span><span><span class="constructor">Deref</span> <span class="keyword">of</span> <a href="#type-deref_kind">deref_kind</a> * <a href="#type-partial">partial</a></span></code></li><li id="type-prim.Callsite" class="def variant constructor anchored"><a href="#type-prim.Callsite" class="anchor"></a><code><span>| </span><span><span class="constructor">Callsite</span> <span class="keyword">of</span> </span><span>{</span></code><ol><li id="type-prim.ret_typ" class="