oTT.Term,provingground.HoTT.Term]]]]]]"></a><a id="indVVV:Func[FuncLike[Term,Func[Term,Term]],Func[FuncLike[Term,FuncLike[Term,FuncLike[Term,Func[FuncLike[Term,Func[Term,Term]],FuncLike[Term,Func[Term,Term]]]]]],FuncLike[Term,FuncLike[Term,FuncLike[Term,Func[Term,Term]]]]]]"></a> <span class="permalink"><a href="../../provingground/library/Vecs$.html#indVVV:provingground.HoTT.Func[provingground.HoTT.FuncLike[provingground.HoTT.Term,provingground.HoTT.Func[provingground.HoTT.Term,provingground.HoTT.Term]],pr