>GeneratedEquationNodes</a></li><li class="current-entities indented3"><span class="separator"></span> <a href="HoTTMessages$$HaltIf.html" title="" class="class"></a><a href="HoTTMessages$$HaltIf.html" title="">HaltIf</a></li><li class="current-entities indented3"><span class="separator"></span> <a href="HoTTMessages$$InitState.html" title="an initial term state from which to evolve, perhaps just to generate types" class="class"></a><a href="HoTTMessages$$InitState.html" title="an initial term state from wh