ly:D=&gt;provingground.learning.Sort[S,T]"></a><a id="conditionFamily:(D)=&gt;Sort[S,T]"></a> <span class="permalink"><a href="../../provingground/learning/GeneratorNode$$ConditionFunc.html#conditionFamily:D=&gt;provingground.learning.Sort[S,T]" title="Permalink"><i class="material-icons"></i></a></span> <span class="modifier_kind"><span class="modifier"></span> <span class="kind">val</span></span> <span class="symbol"><span class="name">conditionFamily</span><span class="result">: (<span name="provinggr