/span> <span>&#45;&gt;</span> <a href="../index.html#type-eval_sym_trace">eval_sym_trace</a> <span>&#45;&gt;</span> <a href="../../../IBase/Location/index.html#type-t">IBase.Location.t</a> <span>&#45;&gt;</span> <a href="index.html#type-t">t</a> <span>&#45;&gt;</span> <span><span>(<a href="index.html#type-t">t</a>, <span>[ `SubstBottom <span>| `SubstFail</span> ]</span>)</span> <a href="../../../IStdlib/index.html#module-IStd">IStdlib.IStd</a>.result</span></code></dt><dd><p>Substitute the latest pruned va