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