ex.html#type-t">AbsLoc.Loc.t</a> * <a href="../../../IR/IntLit/index.html#type-t">IR.IntLit.t</a> * <span><a href="../../AbsLoc/Loc/index.html#type-t">AbsLoc.Loc.t</a> option</span>)</span>
    list</span></span></code></div><div class="spec-doc"><p>Find size aliases between given ident. It returns a list of four elements, alias type <code>== or &gt;=</code>, location <code>x</code>, integer <code>i</code>, java temporary variable <code>$irvar0</code>. This represents <code>id == $irvar0 (== or &gt;=) x.siz