 class="spec value" id="val-subst"><a href="#val-subst" class="anchor"></a><code><span class="keyword">val</span> subst : <a href="index.html#type-t">t</a> <span>&#45;&gt;</span> <a href="../BO/Bounds/Bound/index.html#type-eval_sym">BO.Bounds.Bound.eval_sym</a> <span>&#45;&gt;</span> <a href="../BO/AbsLoc/PowLoc/index.html#type-eval_locpath">BO.AbsLoc.PowLoc.eval_locpath</a> <span>&#45;&gt;</span> <a href="../BO/AbsLoc/PowLoc/index.html#type-t">BO.AbsLoc.PowLoc.t</a> * <a href="index.html#type-t">t</a></cod