="provingground.HoTT.Func" id="provingground.HoTT.Func" class="extype">Func</a>[<a href="../scalahott/RepTerm.html" name="provingground.scalahott.RepTerm" id="provingground.scalahott.RepTerm" class="extype">RepTerm</a>[<span name="spire.math.SafeLong" class="extype">SafeLong</span>], <a href="../scalahott/RepTerm.html" name="provingground.scalahott.RepTerm" id="provingground.scalahott.RepTerm" class="extype">RepTerm</a>[<a href="../andrewscurtis/FreeGroups$$Word.html" name="provingground.andrewscurtis.FreeG