ass="anchor"></a><code><span class="keyword">type</span> instance</code><code> = <span><a href="../Libabsolute/Q/index.html#type-t">Libabsolute.Q.t</a> <a href="../Libabsolute/Tools/VarMap/index.html#type-t">Libabsolute.Tools.VarMap.t</a></span></code></dt><dd><p>the instance type</p></dd></dl><dl><dt class="spec type" id="type-info"><a href="#type-info" class="anchor"></a><code><span class="keyword">type</span> info</code><code> = </code><table class="variant"><tr id="type-info.Exact" class="anchored"><td 