- constraint 'c = < visit_binary_operator_kind : env. 'env -> binary_operator_kind -> binary_operator_kind * 'monoid; visit_builtin_type : env. 'env -> builtin_type -> builtin_type * 'monoid; visit_character_kind : env. 'env -> character_kind -> character_kind * 'monoid; visit_cxcallingconv : env. 'env -> Clang__bindings.cxcallingconv -> Clang__bindings.cxcallingconv * 'monoid; visit_cxlinkagekind : env. 'env -> Clang__bindings.cxlinkagekind -> Clang__bindings.cxlinkagekind * 'monoid; visit_elaborated_type_keyword : env. 'env -> elaborated_type_keyword -> elaborated_type_keyword * 'monoid; visit_floating_literal : env. 'env -> floating_literal -> floating_literal * 'monoid; visit_integer_literal : env. 'env -> integer_literal -> integer_literal * 'monoid; visit_open_node : env a qual_type. ('env -> 'a -> 'a * 'monoid) -> ('env -> 'qual_type -> 'qual_type * 'monoid) -> 'env -> ('a, 'qual_type) open_node -> ('a, 'qual_type) open_node * 'monoid; visit_unary_expr_kind : env. 'env -> unary_expr_kind -> unary_expr_kind * 'monoid; visit_unary_operator_kind : env. 'env -> unary_operator_kind -> unary_operator_kind * 'monoid; .. >
method private virtual plus : 'monoid -> 'monoid -> 'monoidmethod private visit_array : env a b. ('env -> 'a -> 'b * 'monoid) -> 'env -> 'a array -> 'b array * 'monoidmethod visit_binary_operator_kind : env. 'env -> binary_operator_kind -> binary_operator_kind * 'monoidmethod private visit_bool : env. 'env -> bool -> bool * 'monoidmethod visit_builtin_type : env. 'env -> builtin_type -> builtin_type * 'monoidmethod private visit_bytes : env. 'env -> bytes -> bytes * 'monoidmethod private visit_char : env. 'env -> char -> char * 'monoidmethod visit_character_kind : env. 'env -> character_kind -> character_kind * 'monoidmethod visit_cxcallingconv : env. 'env -> Clang__bindings.cxcallingconv -> Clang__bindings.cxcallingconv * 'monoidmethod visit_cxlinkagekind : env. 'env -> Clang__bindings.cxlinkagekind -> Clang__bindings.cxlinkagekind * 'monoidmethod visit_elaborated_type_keyword : env. 'env -> elaborated_type_keyword -> elaborated_type_keyword * 'monoidmethod private visit_float : env. 'env -> float -> float * 'monoidmethod visit_floating_literal : env. 'env -> floating_literal -> floating_literal * 'monoidmethod private visit_int : env. 'env -> int -> int * 'monoidmethod private visit_int32 : env. 'env -> int32 -> int32 * 'monoidmethod private visit_int64 : env. 'env -> int64 -> int64 * 'monoidmethod visit_integer_literal : env. 'env -> integer_literal -> integer_literal * 'monoidmethod private visit_lazy_t : env a b. ('env -> 'a -> 'b * 'monoid) -> 'env -> 'a Lazy.t -> 'b Lazy.t * 'monoidmethod private visit_list : env a b. ('env -> 'a -> 'b * 'monoid) -> 'env -> 'a list -> 'b list * 'monoidmethod private visit_nativeint : env. 'env -> nativeint -> nativeint * 'monoidmethod visit_open_node : env a qual_type. ('env -> 'a -> 'a * 'monoid) -> ('env -> 'qual_type -> 'qual_type * 'monoid) -> 'env -> ('a, 'qual_type) open_node -> ('a, 'qual_type) open_node * 'monoidmethod private visit_option : env a_0 a_1. ('env -> 'a_0 -> 'a_1 * 'monoid) -> 'env -> 'a_0 option -> 'a_1 option * 'monoidmethod private visit_ref : env a_0 a_1. ('env -> 'a_0 -> 'a_1 * 'monoid) -> 'env -> 'a_0 Pervasives.ref -> 'a_1 Pervasives.ref * 'monoidmethod private visit_result : env a_0 a_1 b_0 b_1. ('env -> 'a_0 -> 'a_1 * 'monoid) -> ('env -> 'b_0 -> 'b_1 * 'monoid) -> 'env -> ('a_0, 'b_0) Result.result -> ('a_1, 'b_1) Result.result * 'monoidmethod private visit_string : env. 'env -> string -> string * 'monoidmethod visit_unary_expr_kind : env. 'env -> unary_expr_kind -> unary_expr_kind * 'monoidmethod visit_unary_operator_kind : env. 'env -> unary_operator_kind -> unary_operator_kind * 'monoidmethod private visit_unit : env. 'env -> unit -> unit * 'monoidmethod private virtual zero : 'monoid