</a>
 <h1 class="h600 multi">Expression</h1>
</div>
<div class="fqname body-large">
 <span>satify.model.expression.Expression</span>
</div>
<div class="companion-badge body-small">
 <span>See the<span class="micon ob"></span><a href="Expression$.html">Expression</a> companion object</span>
</div>
<div class="main-signature mono-small-block">
 <div class="signature">
  <span class="modifiers"></span><span class="kind"><span t="k">enum </span></span><a href="Expression.html" t="n" class="documentableName ">Ex