="#type-t" class="anchor"></a><code><span class="keyword">type</span> t</code><code> = <a href="../../../../../../Absint__LowerHil/Make/Domain/index.html#type-t">Absint__LowerHil.Make(TransferFunctions(Absint.ProcCfg.Exceptional))(HilConfig).Domain.t</a></code></dt></dl><dl><dt class="spec value" id="val-pp"><a href="#val-pp" class="anchor"></a><code><span class="keyword">val</span> pp : <a href="../../../../../../IStdlib/PrettyPrintable/index.html#module-F">IStdlib.PrettyPrintable.F</a>.formatter <span>&#4