ml#type-domain">domain</a> = <a href="MakeAbstractInterpreterWithConfig/argument-3-TransferFunctions/Domain/index.html#type-t">TransferFunctions.Domain.t</a></span>
     <span class="keyword">and</span> <span><span class="keyword">module</span> <a href="module-type-S/Interpreter/index.html">Interpreter</a> =
           <a href="MakeAbstractInterpreterWithConfig/argument-1-MakeAbstractInterpreter/index.html">MakeAbstractInterpreter(Make(TransferFunctions)(HilConfig))</a></span></span></code></div><div class=