ructorShape.html" name="provingground.induction.ConstructorShape" id="provingground.induction.ConstructorShape" class="extype">ConstructorShape</a> (without specifying the type)
and <a href="induction/ConstructorTL.html" name="provingground.induction.ConstructorTL" id="provingground.induction.ConstructorTL" class="extype">ConstructorTL</a> including the specific type. The full definition is in <a href="induction/ConstructorSeqTL.html" name="provingground.induction.ConstructorSeqTL" id="provingground.inducti