ype">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 name="outputFamily">outputFamily: <a href="RandomVarFamily.html" name="provingground.learning.RandomVarFamily" id="provingground.learning.RandomVarFamily" class="extype">RandomVarFami