Functions.Domain.t</a> <span>&#45;&gt;</span> <a href="../../IR/Sil/index.html#type-instr">IR.Sil.instr</a> <span>&#45;&gt;</span> <span><span>(Stdlib.Format.formatter <span>&#45;&gt;</span> unit)</span> option</span>)</span></span> <span>&#45;&gt;</span> <a href="TransferFunctions/index.html#type-analysis_data">TransferFunctions.analysis_data</a> <span>&#45;&gt;</span> <span>initial:<a href="TransferFunctions/Domain/index.html#type-t">TransferFunctions.Domain.t</a></span> <span>&#45;&gt;</span> <a href="..