A_CONSTANT_CHECK</a>(<a class="code" href="group__group-_logical.html#ga4a7c9d7037601d5e553fd20777958980">hana::not_</a>(hana::true_c) == hana::false_c);</div>
<div class="line">static_assert(<a class="code" href="group__group-_logical.html#ga4a7c9d7037601d5e553fd20777958980">hana::not_</a>(<span class="keyword">false</span>) == <span class="keyword">true</span>, <span class="stringliteral">&quot;&quot;</span>);</div>
<div class="line"> </div>
<div class="line"><span class="keywordtype">int</span> main() { 