ound.learning.GeneratorNode.ConditionFunc.D" class="extype">D</span>) =&gt; <a href="Sort.html" name="provingground.learning.Sort" id="provingground.learning.Sort" class="extype">Sort</a>[<span name="provingground.learning.GeneratorNode.ConditionFunc.S" class="extype">S</span>, <span name="provingground.learning.GeneratorNode.ConditionFunc.T" class="extype">T</span>]</span></span></li><li class="indented0 " name="scala.Predef.Ensuring#ensuring" group="Ungrouped" fullComment="yes" data-isabs="false" visbl="p