oleanLiteral</a>]</span>)</span><span class="result"> extends <a href="Clause.html" name="input.Clause" id="input.Clause" class="extype">Clause</a> with <span name="scala.Product" class="extype">Product</span> with <span name="scala.Serializable" class="extype">Serializable</span></span></span></h4><div id="comment" class="fullcommenttop"><div class="comment cmt"><p>A disjunctive set of literals (hard clause)
</p></div><div class="toggleContainer"><div class="toggle block"><span>Linear Supertypes</span><div