me">LeftProjSym</span><span class="params">(<span name="name">name: <a href="HoTT$$AnySym.html" name="provingground.HoTT.AnySym" id="provingground.HoTT.AnySym" class="extype">AnySym</a></span>)</span><span class="result"> extends <a href="HoTT$$AnySym.html" name="provingground.HoTT.AnySym" id="provingground.HoTT.AnySym" class="extype">AnySym</a> with <span name="scala.Product" class="extype">Product</span> with <a href="../scala/index.html#Serializable=java.io.Serializable" name="scala.Serializable" id="sca