"type-var">'a</span> <a href="index.html#type-ptr">ptr</a></span> <span>&#45;&gt;</span> <span class="type-var">'a</span></code></dt><dt class="spec value" id="val-(&lt;-@)"><a href="#val-(&lt;-@)" class="anchor"></a><code><span class="keyword">val</span> (&lt;-@) : <span><span class="type-var">'a</span> <a href="index.html#type-ptr">ptr</a></span> <span>&#45;&gt;</span> <span class="type-var">'a</span> <span>&#45;&gt;</span> unit</code></dt><dt class="spec value" id="val-(+@)"><a href="#val-(+@)" class="an