a><code><span>method_info : <a href="../../IR/Procname/Java/index.html#type-t">IR.Procname.Java.t</a>;</span></code></td></tr><tr id="type-t.num" class="anchored"><td class="def record field"><a href="#type-t.num" class="anchor"></a><code><span>num : int;</span></code></td></tr></table><code><span>}</span></code></td></tr></table></div></div><div class="odoc-include"><details open="open"><summary class="spec include"><code><span><span class="keyword">include</span> <span class="xref-unresolved">Ppx_compare_