ThenCondition</a>[<span name="provingground.learning.GeneratorNode.ConditionFunc.O" class="extype">O</span>, <span name="provingground.learning.GeneratorNode.ConditionFunc.T" class="extype">T</span>], <a href="../../scala/index.html#AnyRef=Object" name="scala.AnyRef" id="scala.AnyRef" class="extmbr">AnyRef</a>, <span name="scala.Any" class="extype">Any</span></div></div></div><div id="inheritance-diagram-container" class="toggleContainer block diagram-container"><span class="toggle diagram-link">Type Hierar