rovingground.induction.coarse.ConstructorSeq" class="extype">ConstructorSeq</a></dd></dl></div></li><li class="indented0 " name="provingground.induction.coarse.ConstructorSeq.Empty#inducDataLambda" group="Ungrouped" fullComment="yes" data-isabs="false" visbl="pub"><a id="inducDataLambda(fibre:provingground.HoTT.Func[H,provingground.HoTT.Typ[C]]):provingground.HoTT.FuncLike[H,C]=&gt;provingground.HoTT.FuncLike[H,C]"></a><a id="inducDataLambda(Func[H,Typ[C]]):(FuncLike[H,C])=&gt;FuncLike[H,C]"></a> <span clas