Module ClangFrontend.Ast_expressions
val create_pointer_qual_type : ?quals:IR.Typ.type_quals -> ATDGenerated.Clang_ast_t.qual_type -> ATDGenerated.Clang_ast_t.qual_typeval create_reference_qual_type : ?quals:IR.Typ.type_quals -> ATDGenerated.Clang_ast_t.qual_type -> ATDGenerated.Clang_ast_t.qual_typeval create_void_type : ATDGenerated.Clang_ast_t.qual_typeval create_char_star_type : ?quals:IR.Typ.type_quals -> unit -> ATDGenerated.Clang_ast_t.qual_typeval create_class_pointer_qual_type : ?quals:IR.Typ.type_quals -> IR.Typ.Name.t -> ATDGenerated.Clang_ast_t.qual_typeval create_nil : ATDGenerated.Clang_ast_t.stmt_info -> ATDGenerated.Clang_ast_t.stmtval create_implicit_cast_expr : ATDGenerated.Clang_ast_t.stmt_info -> ATDGenerated.Clang_ast_t.stmt list -> ATDGenerated.Clang_ast_t.qual_type -> ATDGenerated.Clang_ast_t.cast_kind -> ATDGenerated.Clang_ast_t.stmtval create_decl_info : ATDGenerated.Clang_ast_t.stmt_info -> ATDGenerated.Clang_ast_t.pointer -> ATDGenerated.Clang_ast_t.decl_infoval default_var_decl_info : ATDGenerated.Clang_ast_t.var_decl_infoval create_named_decl_info : string -> ATDGenerated.Clang_ast_t.named_decl_infoval create_decl_ref_expr : ATDGenerated.Clang_ast_t.stmt_info -> ATDGenerated.Clang_ast_t.pointer -> ATDGenerated.Clang_ast_t.named_decl_info -> ATDGenerated.Clang_ast_t.qual_type -> ATDGenerated.Clang_ast_t.stmtval create_obj_c_message_expr : ATDGenerated.Clang_ast_t.stmt_info -> ATDGenerated.Clang_ast_t.qual_type -> ATDGenerated.Clang_ast_t.selector -> ATDGenerated.Clang_ast_t.stmt list -> ATDGenerated.Clang_ast_t.stmtval make_obj_c_message_expr_info_class : string -> IR.Typ.Name.t -> ATDGenerated.Clang_ast_t.pointer option -> ATDGenerated.Clang_ast_t.obj_c_message_expr_infoval trans_with_conditional : ATDGenerated.Clang_ast_t.stmt_info -> ATDGenerated.Clang_ast_t.expr_info -> ATDGenerated.Clang_ast_t.stmt list -> ATDGenerated.Clang_ast_t.stmtWe translate an expression with a conditional x <=> x?1:0
val trans_negation_with_conditional : ATDGenerated.Clang_ast_t.stmt_info -> ATDGenerated.Clang_ast_t.expr_info -> ATDGenerated.Clang_ast_t.stmt list -> ATDGenerated.Clang_ast_t.stmtWe translate the logical negation of an expression with a conditional !x <=> x?0:1