 class="kind">val</span></span> <span class="symbol"><span class="name">tail</span><span class="result">: <a href="IndexedIterFuncShape.html" name="provingground.induction.IndexedIterFuncShape" id="provingground.induction.IndexedIterFuncShape" class="extype">IndexedIterFuncShape</a>[<span name="provingground.induction.IndexedIterFuncShape.FuncShape.H" class="extype">H</span>, <span name="provingground.induction.IndexedIterFuncShape.FuncShape.TF" class="extype">TF</span>, <span name="provingground.induction.