"><a href="#type-res_action.ra_pname" class="anchor"></a><code><span>ra_pname : <a href="../Procname/index.html#type-t">Procname.t</a>;</span></code><div class="def-doc"><span class="comment-delim">(*</span><p>name of the procedure used to acquire/release the resource</p><span class="comment-delim">*)</span></div></li><li id="type-res_action.ra_loc" class="def record field anchored"><a href="#type-res_action.ra_loc" class="anchor"></a><code><span>ra_loc : <a href="../../IBase/Location/index.html#type-t">IBa