html" title="modifying parameters, for instance excluding islands, strengthening backward reasoning etc for serialization, inherit from this class">ModifyParams</a></li><li class="current-entities indented3"><span class="separator"></span> <a href="HoTTMessages$$NarrowOptimizeGenerators.html" title="" class="class"></a><a href="HoTTMessages$$NarrowOptimizeGenerators.html" title="">NarrowOptimizeGenerators</a></li><li class="current-entities indented3"><span class="separator"></span> <a href="HoTTMessages$$O