a href="../Summary/index.html#type-t">Summary.t</a> <span>&#45;&gt;</span> <span>?&#8288;tenv:<a href="../../IR/Tenv/index.html#type-t">IR.Tenv.t</a></span> <span>&#45;&gt;</span> unit <span>&#45;&gt;</span> <span><span class="type-var">'payload</span> <a href="../../Absint/InterproceduralAnalysis/index.html#type-t">Absint.InterproceduralAnalysis.t</a></span> * <span><a href="../Summary/Stats/index.html#type-t">Summary.Stats.t</a> <a href="../../IStdlib/index.html#module-IStd">IStdlib.IStd</a>.ref</span></c