index.html">infer</a> &#x00BB; <a href="../../index.html">Absint</a> &#x00BB; <a href="../index.html">PatternMatch</a> &#x00BB; Java</nav><h1>Module <code>PatternMatch.Java</code></h1></header><dl><dt class="spec value" id="val-implements"><a href="#val-implements" class="anchor"></a><code><span class="keyword">val</span> implements : string <span>&#45;&gt;</span> <a href="../../../IR/Tenv/index.html#type-t">IR.Tenv.t</a> <span>&#45;&gt;</span> string <span>&#45;&gt;</span> bool</code></dt><dd><p>Check whet