yword">val</span> integrate_summary : <span>?&#8288;tenv:<a href="../IR/Tenv/index.html#type-t">IR.Tenv.t</a></span> <span>&#45;&gt;</span> <span>?&#8288;lhs:<a href="../Absint/HilExp/AccessExpression/index.html#type-t">Absint.HilExp.AccessExpression.t</a></span> <span>&#45;&gt;</span> <span>?&#8288;subst:<a href="Lock/index.html#type-subst">Lock.subst</a></span> <span>&#45;&gt;</span> <a href="../Absint/CallSite/index.html#type-t">Absint.CallSite.t</a> <span>&#45;&gt;</span> <a href="index.html#type-t">t</