<span class="micon tr"></span></span>
 <h1 class="h600 single">ErasableSymbolGenerator</h1>
</div>
<div class="fqname body-large">
 <span>satify.model.expression.SymbolGeneration$.ErasableSymbolGenerator</span>
</div>
<div class="main-signature mono-small-block">
 <div class="signature">
  <span class="signature-short"><span class="modifiers"></span><span class="kind"><span t="k">trait </span></span><a href="SymbolGeneration$$ErasableSymbolGenerator.html" t="n" class="documentableName ">ErasableSymbolGenera