i></ul><h3 class="heading">Signature</h3><div class="spec module" id="module-Interpreter"><a href="#module-Interpreter" class="anchor"></a><code><span class="keyword">module</span> Interpreter = <a href="index.html#argument-1-MakeAbstractInterpreter">MakeAbstractInterpreter(Make(TransferFunctions)(HilConfig))</a></code></div><dl><dt class="spec type" id="type-domain"><a href="#type-domain" class="anchor"></a><code><span class="keyword">type</span> domain</code><code> = <a href="argument-3-TransferFunctions/