pan>[<a href="TypedPostResponse.html" name="provingground.learning.TypedPostResponse" id="provingground.learning.TypedPostResponse" class="extype">TypedPostResponse</a>[_ &gt;: <a href="HoTTMessages$$GeneratedEquationNodes.html" name="provingground.learning.HoTTMessages.GeneratedEquationNodes" id="provingground.learning.HoTTMessages.GeneratedEquationNodes" class="extype">GeneratedEquationNodes</a> with <a href="ExpressionEquationSolver.html" name="provingground.learning.ExpressionEquationSolver" id="proving