 is added by an implicit conversion from <a href="" name="provingground.interface.RecFuncException" id="provingground.interface.RecFuncException" class="extype">RecFuncException</a> to<span name="scala.Predef.Ensuring" class="extype">Ensuring</span>[<a href="" name="provingground.interface.RecFuncException" id="provingground.interface.RecFuncException" class="extype">RecFuncException</a>] performed by method Ensuring in scala.Predef.</dd><dt>Definition Classes</dt><dd>Ensuring</dd></dl></div></li><li class=