</tbody>
</table></div>
<h6>
<a name="spirit.karma.reference.generator_concepts.unarygenerator.h4"></a>
            <span class="phrase"><a name="spirit.karma.reference.generator_concepts.unarygenerator.invariants"></a></span><a class="link" href="unarygenerator.html#spirit.karma.reference.generator_concepts.unarygenerator.invariants">Invariants</a>
          </h6>
<p>
            For any UnaryGenerator, <code class="computeroutput"><span class="identifier">G</span></code>,
            the following invaria