ule" id="module-GlobalVar"><a href="#module-GlobalVar" class="anchor"></a><code><span class="keyword">module</span> GlobalVar : <a href="../IStdlib/PrettyPrintable/index.html#module-type-PrintableOrderedType">IStdlib.PrettyPrintable.PrintableOrderedType</a> <span class="keyword">with</span> <span class="keyword">type</span> <a href="../IStdlib/PrettyPrintable/index.html#module-type-PrintableOrderedType">PrintableOrderedType</a>.t = <a href="../IR/Pvar/index.html#type-t">IR.Pvar.t</a></code></div><div class=