r"></a><code><span class="keyword">val</span> __infer_fail : <a href="index.html#type-t">t</a></code></dt><dt class="spec value" id="val-__infer_skip"><a href="#val-__infer_skip" class="anchor"></a><code><span class="keyword">val</span> __infer_skip : <a href="index.html#type-t">t</a></code></dt><dd><p>used to represent behavior that is not modeled in infer</p></dd></dl><dl><dt class="spec value" id="val-__instanceof"><a href="#val-__instanceof" class="anchor"></a><code><span class="keyword">val</span> __in