="def variant constructor anchored"><a href="#type-t.Aretval" class="anchor"></a><code><span>| </span><span><span class="constructor">Aretval</span> <span class="keyword">of</span> <a href="../Procname/index.html#type-t">Procname.t</a> * <a href="../Annot/Item/index.html#type-t">Annot.Item.t</a></span></code><div class="def-doc"><span class="comment-delim">(*</span><p>value was returned from a call to the given procedure, plus the annots of the return value</p><span class="comment-delim">*)</span></div></li