class="signature"><span class="modifier_kind"><span class="modifier"></span> <span class="kind">trait</span></span> <span class="symbol"><span class="name">ExstInducStrucs</span><span class="result"> extends <a href="../../scala/index.html#AnyRef=Object" name="scala.AnyRef" id="scala.AnyRef" class="extmbr">AnyRef</a></span></span></h4><div id="comment" class="fullcommenttop"><div class="comment cmt"><p>term level inductive structures for runtime contexts
</p></div><div class="toggleContainer"><div class="to