- constraint 'c = < visit_AddrLabel : 'd -> label_ref -> expr_desc * 'e; visit_ArgumentExpr : 'd -> expr -> unary_expr_or_type_trait * 'e; visit_ArgumentType : 'd -> qual_type -> unary_expr_or_type_trait * 'e; visit_ArraySubscript : 'd -> expr -> expr -> expr_desc * 'e; visit_BinaryOperator : 'd -> expr -> binary_operator_kind -> expr -> expr_desc * 'e; visit_Break : 'd -> stmt_desc * 'e; visit_BuiltinType : 'd -> builtin_type -> type_desc * 'e; visit_CStyle : 'd -> cast_kind * 'e; visit_Call : 'd -> expr -> expr list -> expr_desc * 'e; visit_Case : 'd -> expr -> expr option -> stmt -> stmt_desc * 'e; visit_Cast : 'd -> cast_kind -> qual_type -> expr -> expr_desc * 'e; visit_CharacterLiteral : 'd -> character_kind -> int -> expr_desc * 'e; visit_Complex : 'd -> qual_type -> type_desc * 'e; visit_Compound : 'd -> stmt list -> stmt_desc * 'e; visit_CompoundLiteral : 'd -> qual_type -> expr -> expr_desc * 'e; visit_ConditionalOperator : 'd -> expr -> expr option -> expr -> expr_desc * 'e; visit_ConstantArray : 'd -> qual_type -> int -> type_desc * 'e; visit_Continue : 'd -> stmt_desc * 'e; visit_Decl : 'd -> decl list -> stmt_desc * 'e; visit_DeclRef : 'd -> label_ref -> expr_desc * 'e; visit_Default : 'd -> stmt -> stmt_desc * 'e; visit_Do : 'd -> stmt -> expr -> stmt_desc * 'e; visit_Elaborated : 'd -> elaborated_type_keyword -> qual_type -> type_desc * 'e; visit_Enum : 'd -> label_ref -> type_desc * 'e; visit_EnumDecl : 'd -> label_ref -> enum_constant list -> decl_desc * 'e; visit_Expr : 'd -> expr -> stmt_desc * 'e; visit_Field : 'd -> label_ref -> qual_type -> expr option -> decl_desc * 'e; visit_FloatingLiteral : 'd -> floating_literal -> expr_desc * 'e; visit_For : 'd -> stmt option -> var_decl option -> expr option -> stmt option -> stmt -> stmt_desc * 'e; visit_Function : 'd -> Clang__bindings.cxlinkagekind -> function_type -> label_ref -> stmt option -> decl_desc * 'e; visit_FunctionType : 'd -> function_type -> type_desc * 'e; visit_GCCAsm : 'd -> label_ref -> (label_ref, qual_type) open_node list -> stmt_desc * 'e; visit_Goto : 'd -> label_ref -> stmt_desc * 'e; visit_If : 'd -> stmt option -> var_decl option -> expr -> stmt -> stmt option -> stmt_desc * 'e; visit_ImaginaryLiteral : 'd -> expr -> expr_desc * 'e; visit_Implicit : 'd -> cast_kind * 'e; visit_IncompleteArray : 'd -> qual_type -> type_desc * 'e; visit_IndirectGoto : 'd -> expr -> stmt_desc * 'e; visit_InitList : 'd -> expr list -> expr_desc * 'e; visit_IntegerLiteral : 'd -> integer_literal -> expr_desc * 'e; visit_Label : 'd -> label_ref -> stmt -> stmt_desc * 'e; visit_MSAsm : 'd -> label_ref -> stmt_desc * 'e; visit_Member : 'd -> expr -> bool -> (label_ref, qual_type) open_node -> expr_desc * 'e; visit_Null : 'd -> stmt_desc * 'e; visit_OtherDecl : 'd -> decl_desc * 'e; visit_OtherExpr : 'd -> expr_desc * 'e; visit_OtherStmt : 'd -> stmt_desc * 'e; visit_Paren : 'd -> expr -> expr_desc * 'e; visit_ParenType : 'd -> qual_type -> type_desc * 'e; visit_Pointer : 'd -> qual_type -> type_desc * 'e; visit_Record : 'd -> label_ref -> type_desc * 'e; visit_RecordDecl : 'd -> elaborated_type_keyword -> label_ref -> decl list -> decl_desc * 'e; visit_Return : 'd -> expr option -> stmt_desc * 'e; visit_StringLiteral : 'd -> label_ref -> expr_desc * 'e; visit_Switch : 'd -> stmt option -> var_decl option -> expr -> stmt -> stmt_desc * 'e; visit_Typedef : 'd -> label_ref -> type_desc * 'e; visit_TypedefDecl : 'd -> label_ref -> qual_type -> decl_desc * 'e; visit_UnaryExpr : 'd -> unary_expr_kind -> unary_expr_or_type_trait -> expr_desc * 'e; visit_UnaryOperator : 'd -> unary_operator_kind -> expr -> expr_desc * 'e; visit_UnexposedExpr : 'd -> label_ref -> expr_desc * 'e; visit_Var : 'd -> var_decl_desc -> decl_desc * 'e; visit_VariableArray : 'd -> qual_type -> expr -> type_desc * 'e; visit_While : 'd -> var_decl option -> expr -> stmt -> stmt_desc * 'e; visit_args : 'd -> args -> args * 'e; visit_binary_operator_kind : env. 'env -> binary_operator_kind -> binary_operator_kind * 'e; visit_builtin_type : env. 'env -> builtin_type -> builtin_type * 'e; visit_cast_kind : 'd -> cast_kind -> cast_kind * 'e; visit_character_kind : env. 'env -> character_kind -> character_kind * 'e; visit_cxcallingconv : env. 'env -> Clang__bindings.cxcallingconv -> Clang__bindings.cxcallingconv * 'e; visit_cxlinkagekind : env. 'env -> Clang__bindings.cxlinkagekind -> Clang__bindings.cxlinkagekind * 'e; visit_decl : 'd -> decl -> decl * 'e; visit_decl_desc : 'd -> decl_desc -> decl_desc * 'e; visit_elaborated_type_keyword : env. 'env -> elaborated_type_keyword -> elaborated_type_keyword * 'e; visit_enum_constant : 'd -> enum_constant -> enum_constant * 'e; visit_enum_constant_desc : 'd -> enum_constant_desc -> enum_constant_desc * 'e; visit_expr : 'd -> expr -> expr * 'e; visit_expr_desc : 'd -> expr_desc -> expr_desc * 'e; visit_floating_literal : env. 'env -> floating_literal -> floating_literal * 'e; visit_function_type : 'd -> function_type -> function_type * 'e; visit_integer_literal : env. 'env -> integer_literal -> integer_literal * 'e; visit_label_ref : 'd -> label_ref -> label_ref * 'e; visit_open_node : env a qual_type. ('env -> 'a -> 'a * 'e) -> ('env -> 'qual_type -> 'qual_type * 'e) -> 'env -> ('a, 'qual_type) open_node -> ('a, 'qual_type) open_node * 'e; visit_qual_type : 'd -> qual_type -> qual_type * 'e; visit_stmt : 'd -> stmt -> stmt * 'e; visit_stmt_desc : 'd -> stmt_desc -> stmt_desc * 'e; visit_translation_unit : 'd -> (translation_unit_desc, qual_type) open_node -> (translation_unit_desc, qual_type) open_node * 'e; visit_translation_unit_desc : 'd -> translation_unit_desc -> translation_unit_desc * 'e; visit_type_desc : 'd -> type_desc -> type_desc * 'e; visit_unary_expr_kind : env. 'env -> unary_expr_kind -> unary_expr_kind * 'e; visit_unary_expr_or_type_trait : 'd -> unary_expr_or_type_trait -> unary_expr_or_type_trait * 'e; visit_unary_operator_kind : env. 'env -> unary_operator_kind -> unary_operator_kind * 'e; visit_var_decl : 'd -> var_decl -> var_decl * 'e; visit_var_decl_desc : 'd -> var_decl_desc -> var_decl_desc * 'e; .. >
method private virtual plus : 'e -> 'e -> 'emethod visit_AddrLabel : 'd -> label_ref -> expr_desc * 'emethod visit_ArgumentExpr : 'd -> expr -> unary_expr_or_type_trait * 'emethod visit_ArgumentType : 'd -> qual_type -> unary_expr_or_type_trait * 'emethod visit_ArraySubscript : 'd -> expr -> expr -> expr_desc * 'emethod visit_BinaryOperator : 'd -> expr -> binary_operator_kind -> expr -> expr_desc * 'emethod visit_Break : 'd -> stmt_desc * 'emethod visit_BuiltinType : 'd -> builtin_type -> type_desc * 'emethod visit_CStyle : 'd -> cast_kind * 'emethod visit_Call : 'd -> expr -> expr list -> expr_desc * 'emethod visit_Case : 'd -> expr -> expr option -> stmt -> stmt_desc * 'emethod visit_Cast : 'd -> cast_kind -> qual_type -> expr -> expr_desc * 'emethod visit_CharacterLiteral : 'd -> character_kind -> int -> expr_desc * 'emethod visit_Complex : 'd -> qual_type -> type_desc * 'emethod visit_Compound : 'd -> stmt list -> stmt_desc * 'emethod visit_CompoundLiteral : 'd -> qual_type -> expr -> expr_desc * 'emethod visit_ConditionalOperator : 'd -> expr -> expr option -> expr -> expr_desc * 'emethod visit_ConstantArray : 'd -> qual_type -> int -> type_desc * 'emethod visit_Continue : 'd -> stmt_desc * 'emethod visit_Decl : 'd -> decl list -> stmt_desc * 'emethod visit_DeclRef : 'd -> label_ref -> expr_desc * 'emethod visit_Default : 'd -> stmt -> stmt_desc * 'emethod visit_Do : 'd -> stmt -> expr -> stmt_desc * 'emethod visit_Elaborated : 'd -> elaborated_type_keyword -> qual_type -> type_desc * 'emethod visit_Enum : 'd -> label_ref -> type_desc * 'emethod visit_EnumDecl : 'd -> label_ref -> enum_constant list -> decl_desc * 'emethod visit_Expr : 'd -> expr -> stmt_desc * 'emethod visit_Field : 'd -> label_ref -> qual_type -> expr option -> decl_desc * 'emethod visit_FloatingLiteral : 'd -> floating_literal -> expr_desc * 'emethod visit_For : 'd -> stmt option -> var_decl option -> expr option -> stmt option -> stmt -> stmt_desc * 'emethod visit_Function : 'd -> Clang__bindings.cxlinkagekind -> function_type -> label_ref -> stmt option -> decl_desc * 'emethod visit_FunctionType : 'd -> function_type -> type_desc * 'emethod visit_GCCAsm : 'd -> label_ref -> (label_ref, qual_type) open_node list -> stmt_desc * 'emethod visit_Goto : 'd -> label_ref -> stmt_desc * 'emethod visit_If : 'd -> stmt option -> var_decl option -> expr -> stmt -> stmt option -> stmt_desc * 'emethod visit_ImaginaryLiteral : 'd -> expr -> expr_desc * 'emethod visit_Implicit : 'd -> cast_kind * 'emethod visit_IncompleteArray : 'd -> qual_type -> type_desc * 'emethod visit_IndirectGoto : 'd -> expr -> stmt_desc * 'emethod visit_InitList : 'd -> expr list -> expr_desc * 'emethod visit_IntegerLiteral : 'd -> integer_literal -> expr_desc * 'emethod visit_Label : 'd -> label_ref -> stmt -> stmt_desc * 'emethod visit_MSAsm : 'd -> label_ref -> stmt_desc * 'emethod visit_Member : 'd -> expr -> bool -> (label_ref, qual_type) open_node -> expr_desc * 'emethod visit_Null : 'd -> stmt_desc * 'emethod visit_OtherDecl : 'd -> decl_desc * 'emethod visit_OtherExpr : 'd -> expr_desc * 'emethod visit_OtherStmt : 'd -> stmt_desc * 'emethod visit_Paren : 'd -> expr -> expr_desc * 'emethod visit_ParenType : 'd -> qual_type -> type_desc * 'emethod visit_Pointer : 'd -> qual_type -> type_desc * 'emethod visit_Record : 'd -> label_ref -> type_desc * 'emethod visit_RecordDecl : 'd -> elaborated_type_keyword -> label_ref -> decl list -> decl_desc * 'emethod visit_Return : 'd -> expr option -> stmt_desc * 'emethod visit_StringLiteral : 'd -> label_ref -> expr_desc * 'emethod visit_Switch : 'd -> stmt option -> var_decl option -> expr -> stmt -> stmt_desc * 'emethod visit_Typedef : 'd -> label_ref -> type_desc * 'emethod visit_TypedefDecl : 'd -> label_ref -> qual_type -> decl_desc * 'emethod visit_UnaryExpr : 'd -> unary_expr_kind -> unary_expr_or_type_trait -> expr_desc * 'emethod visit_UnaryOperator : 'd -> unary_operator_kind -> expr -> expr_desc * 'emethod visit_UnexposedExpr : 'd -> label_ref -> expr_desc * 'emethod visit_Var : 'd -> var_decl_desc -> decl_desc * 'emethod visit_VariableArray : 'd -> qual_type -> expr -> type_desc * 'emethod visit_While : 'd -> var_decl option -> expr -> stmt -> stmt_desc * 'emethod visit_args : 'd -> args -> args * 'emethod private visit_array : env a b. ('env -> 'a -> 'b * 'e) -> 'env -> 'a array -> 'b array * 'emethod visit_binary_operator_kind : env. 'env -> binary_operator_kind -> binary_operator_kind * 'emethod private visit_bool : env. 'env -> bool -> bool * 'emethod visit_builtin_type : env. 'env -> builtin_type -> builtin_type * 'emethod private visit_bytes : env. 'env -> bytes -> bytes * 'emethod visit_cast_kind : 'd -> cast_kind -> cast_kind * 'emethod private visit_char : env. 'env -> char -> char * 'emethod visit_character_kind : env. 'env -> character_kind -> character_kind * 'emethod visit_cxcallingconv : env. 'env -> Clang__bindings.cxcallingconv -> Clang__bindings.cxcallingconv * 'emethod visit_cxlinkagekind : env. 'env -> Clang__bindings.cxlinkagekind -> Clang__bindings.cxlinkagekind * 'emethod visit_decl : 'd -> decl -> decl * 'emethod visit_decl_desc : 'd -> decl_desc -> decl_desc * 'emethod visit_elaborated_type_keyword : env. 'env -> elaborated_type_keyword -> elaborated_type_keyword * 'emethod visit_enum_constant : 'd -> enum_constant -> enum_constant * 'emethod visit_enum_constant_desc : 'd -> enum_constant_desc -> enum_constant_desc * 'emethod visit_expr : 'd -> expr -> expr * 'emethod visit_expr_desc : 'd -> expr_desc -> expr_desc * 'emethod private visit_float : env. 'env -> float -> float * 'emethod visit_floating_literal : env. 'env -> floating_literal -> floating_literal * 'emethod visit_function_type : 'd -> function_type -> function_type * 'emethod private visit_int : env. 'env -> int -> int * 'emethod private visit_int32 : env. 'env -> int32 -> int32 * 'emethod private visit_int64 : env. 'env -> int64 -> int64 * 'emethod visit_integer_literal : env. 'env -> integer_literal -> integer_literal * 'emethod visit_label_ref : 'd -> label_ref -> label_ref * 'emethod private visit_lazy_t : env a b. ('env -> 'a -> 'b * 'e) -> 'env -> 'a Lazy.t -> 'b Lazy.t * 'emethod private visit_list : env a b. ('env -> 'a -> 'b * 'e) -> 'env -> 'a list -> 'b list * 'emethod private visit_nativeint : env. 'env -> nativeint -> nativeint * 'emethod visit_open_node : env a qual_type. ('env -> 'a -> 'a * 'e) -> ('env -> 'qual_type -> 'qual_type * 'e) -> 'env -> ('a, 'qual_type) open_node -> ('a, 'qual_type) open_node * 'emethod private visit_option : env a_0 a_1. ('env -> 'a_0 -> 'a_1 * 'e) -> 'env -> 'a_0 option -> 'a_1 option * 'emethod visit_qual_type : 'd -> qual_type -> qual_type * 'emethod private visit_ref : env a_0 a_1. ('env -> 'a_0 -> 'a_1 * 'e) -> 'env -> 'a_0 Pervasives.ref -> 'a_1 Pervasives.ref * 'emethod private visit_result : env a_0 a_1 b_0 b_1. ('env -> 'a_0 -> 'a_1 * 'e) -> ('env -> 'b_0 -> 'b_1 * 'e) -> 'env -> ('a_0, 'b_0) Result.result -> ('a_1, 'b_1) Result.result * 'emethod visit_stmt : 'd -> stmt -> stmt * 'emethod visit_stmt_desc : 'd -> stmt_desc -> stmt_desc * 'emethod private visit_string : env. 'env -> label_ref -> label_ref * 'emethod visit_translation_unit : 'd -> (translation_unit_desc, qual_type) open_node -> (translation_unit_desc, qual_type) open_node * 'emethod visit_translation_unit_desc : 'd -> translation_unit_desc -> translation_unit_desc * 'emethod visit_type_desc : 'd -> type_desc -> type_desc * 'emethod visit_unary_expr_kind : env. 'env -> unary_expr_kind -> unary_expr_kind * 'emethod visit_unary_expr_or_type_trait : 'd -> unary_expr_or_type_trait -> unary_expr_or_type_trait * 'emethod visit_unary_operator_kind : env. 'env -> unary_operator_kind -> unary_operator_kind * 'emethod private visit_unit : env. 'env -> unit -> unit * 'emethod visit_var_decl : 'd -> var_decl -> var_decl * 'emethod visit_var_decl_desc : 'd -> var_decl_desc -> var_decl_desc * 'emethod private virtual zero : 'e