"extype">Equals</span>, <a href="ExstInducStrucs.html" name="provingground.induction.ExstInducStrucs" id="provingground.induction.ExstInducStrucs" class="extype">ExstInducStrucs</a>, <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 Hierarchy</span><div id=