he variable self which is challenging because self is used both as a variable in instance method calls and also as a type in class method calls.</p></dd></dl><dl><dt class="spec value" id="val-is_logical_negation_of_int"><a href="#val-is_logical_negation_of_int" class="anchor"></a><code><span class="keyword">val</span> is_logical_negation_of_int : <a href="../IR/Tenv/index.html#type-t">IR.Tenv.t</a> <span>&#45;&gt;</span> <a href="../ATDGenerated/Clang_ast_t/index.html#type-expr_info">ATDGenerated.Clang_ast