se.Location.t</a>;</span></code><div class="def-doc"><span class="comment-delim">(*</span><p>location of the acquire/release</p><span class="comment-delim">*)</span></div></li><li id="type-res_action.ra_vpath" class="def record field anchored"><a href="#type-res_action.ra_vpath" class="anchor"></a><code><span>ra_vpath : <a href="../DecompiledExp/index.html#type-vpath">DecompiledExp.vpath</a>;</span></code><div class="def-doc"><span class="comment-delim">(*</span><p>vpath of the resource value</p><span class