e="provingground.induction.IterFuncShape" id="provingground.induction.IterFuncShape" class="extype">IterFuncShape</a>[<span name="provingground.induction.IterFuncShape.FuncShape.O" class="extype">O</span>, <span name="provingground.induction.IterFuncShape.FuncShape.HF" class="extype">HF</span>]</span>)</span></span></li></ol></div><div class="values members"><h3>Value Members</h3><ol><li class="indented0 " name="scala.AnyRef#!=" group="Ungrouped" fullComment="yes" data-isabs="false" visbl="pub"><a id="!=(x$