n.NlpProse.TypeWordMatch" id="provingground.translation.NlpProse.TypeWordMatch" class="extype">TypeWordMatch</a> to<span name="scala.Predef.Ensuring" class="extype">Ensuring</span>[<a href="" name="provingground.translation.NlpProse.TypeWordMatch" id="provingground.translation.NlpProse.TypeWordMatch" class="extype">TypeWordMatch</a>] performed by method Ensuring in scala.Predef.</dd><dt>Definition Classes</dt><dd>Ensuring</dd></dl></div></li><li class="indented0 " name="scala.Predef.Ensuring#ensuring" group