html#type-t">Procname.t</a> * <a href="../Annot/Item/index.html#type-t">Annot.Item.t</a> * <a href="../../IBase/Location/index.html#type-t">IBase.Location.t</a> * <a href="#type-path_pos">path_pos</a></span></code></td></tr><tr id="type-t.Alocked" class="anchored"><td class="def variant constructor"><a href="#type-t.Alocked" class="anchor"></a><code><span>| </span><span><span class="constructor">Alocked</span></span></code></td></tr><tr id="type-t.Aunlocked" class="anchored"><td class="def variant construct