code>.</p><p>It is useful to capture information regarding inductive types and the recursion and induction functions in scala types. Our implementation
is designed to do this.</p><h4>Inductive Type Definitions</h4><p>Inductive types are specified by introduction rules. Each introduction rule is specified in <a href="ConstructorShape.html" name="provingground.induction.ConstructorShape" id="provingground.induction.ConstructorShape" class="extype">ConstructorShape</a> (without specifying the type)
and <a href