<span><a href="../index.html#type-t">t</a> <span class="arrow">&#45;&gt;</span></span>
  <span><span><span>(<a href="#type-summary">summary</a>,
    <span>[&gt; <span>`JavaResourceLeak of
         <a href="#type-summary">summary</a>
         * <a href="../index.html#type-t">t</a>
         * <a href="../../../IR/JavaClassName/index.html#type-t">IR.JavaClassName.t</a>
         * <a href="../../PulseTrace/index.html#type-t">Pulselib.PulseBasicInterface.Trace.t</a>
         * <a href="../../../IBase/Location/in