html#type-stmt">ATDGenerated.Clang_ast_t.stmt</a></code></dt><dd><p>We translate an expression with a conditional x &lt;=&gt; x?1:0</p></dd></dl><dl><dt class="spec value" id="val-trans_negation_with_conditional"><a href="#val-trans_negation_with_conditional" class="anchor"></a><code><span class="keyword">val</span> trans_negation_with_conditional : <a href="../ATDGenerated/Clang_ast_t/index.html#type-stmt_info">ATDGenerated.Clang_ast_t.stmt_info</a> <span>&#45;&gt;</span> <a href="../ATDGenerated/Clang_ast