html#type-t">t</a></code></dt><dt class="spec value" id="val-__global_access"><a href="#val-__global_access" class="anchor"></a><code><span class="keyword">val</span> __global_access : <a href="index.html#type-t">t</a></code></dt><dt class="spec value" id="val-__infer_assume"><a href="#val-__infer_assume" class="anchor"></a><code><span class="keyword">val</span> __infer_assume : <a href="index.html#type-t">t</a></code></dt><dt class="spec value" id="val-__infer_fail"><a href="#val-__infer_fail" class="ancho