Strucs.LambdaInduc" id="provingground.induction.ExstInducStrucs.LambdaInduc" class="extype">LambdaInduc</a>, <a href="ExstInducStrucs$$OrElse.html" name="provingground.induction.ExstInducStrucs.OrElse" id="provingground.induction.ExstInducStrucs.OrElse" class="extype">OrElse</a>, <a href="ExstInducStrucs$$SimpleBase$.html" name="provingground.induction.ExstInducStrucs.SimpleBase" id="provingground.induction.ExstInducStrucs.SimpleBase" class="extype">SimpleBase</a>, <a href="../scalahott/NatRing$.html" name=