- constraint < visit_binary_operator_kind : env. 'env -> binary_operator_kind -> 'monoid; visit_builtin_type : env. 'env -> builtin_type -> 'monoid; visit_character_kind : env. 'env -> character_kind -> 'monoid; visit_cxcallingconv : env. 'env -> Clang__bindings.cxcallingconv -> 'monoid; visit_cxlinkagekind : env. 'env -> Clang__bindings.cxlinkagekind -> 'monoid; visit_elaborated_type_keyword : env. 'env -> elaborated_type_keyword -> 'monoid; visit_floating_literal : env. 'env -> floating_literal -> 'monoid; visit_integer_literal : env. 'env -> integer_literal -> 'monoid; visit_open_node : env a qual_type. ('env -> 'a -> 'monoid) -> ('env -> 'qual_type -> 'monoid) -> 'env -> ('a, 'qual_type) open_node -> 'monoid; visit_unary_expr_kind : env. 'env -> unary_expr_kind -> 'monoid; visit_unary_operator_kind : env. 'env -> unary_operator_kind -> 'monoid; .. > = < visit_binary_operator_kind : env. 'env -> binary_operator_kind -> 'monoid; visit_builtin_type : env. 'env -> builtin_type -> 'monoid; visit_character_kind : env. 'env -> character_kind -> 'monoid; visit_cxcallingconv : env. 'env -> Clang__bindings.cxcallingconv -> 'monoid; visit_cxlinkagekind : env. 'env -> Clang__bindings.cxlinkagekind -> 'monoid; visit_elaborated_type_keyword : env. 'env -> elaborated_type_keyword -> 'monoid; visit_floating_literal : env. 'env -> floating_literal -> 'monoid; visit_integer_literal : env. 'env -> integer_literal -> 'monoid; visit_open_node : env a qual_type. ('env -> 'a -> 'monoid) -> ('env -> 'qual_type -> 'monoid) -> 'env -> ('a, 'qual_type) open_node -> 'monoid; visit_unary_expr_kind : env. 'env -> unary_expr_kind -> 'monoid; visit_unary_operator_kind : env. 'env -> unary_operator_kind -> 'monoid; .. >
- inherit VisitorsRuntime.reduce
method visit_open_node : < visit_binary_operator_kind : env. 'env -> binary_operator_kind -> 'monoid; visit_builtin_type : env. 'env -> builtin_type -> 'monoid; visit_character_kind : env. 'env -> character_kind -> 'monoid; visit_cxcallingconv : env. 'env -> Clang__bindings.cxcallingconv -> 'monoid; visit_cxlinkagekind : env. 'env -> Clang__bindings.cxlinkagekind -> 'monoid; visit_elaborated_type_keyword : env. 'env -> elaborated_type_keyword -> 'monoid; visit_floating_literal : env. 'env -> floating_literal -> 'monoid; visit_integer_literal : env. 'env -> integer_literal -> 'monoid; visit_open_node : env a qual_type. ('env -> 'a -> 'monoid) -> ('env -> 'qual_type -> 'monoid) -> 'env -> ('a, 'qual_type) open_node -> 'monoid; visit_unary_expr_kind : env. 'env -> unary_expr_kind -> 'monoid; visit_unary_operator_kind : env. 'env -> unary_operator_kind -> 'monoid; .. > -> env a qual_type. ('env -> 'a -> 'monoid) -> ('env -> 'qual_type -> 'monoid) -> 'env -> ('a, 'qual_type) open_node -> 'monoidmethod visit_integer_literal : < visit_binary_operator_kind : env. 'env -> binary_operator_kind -> 'monoid; visit_builtin_type : env. 'env -> builtin_type -> 'monoid; visit_character_kind : env. 'env -> character_kind -> 'monoid; visit_cxcallingconv : env. 'env -> Clang__bindings.cxcallingconv -> 'monoid; visit_cxlinkagekind : env. 'env -> Clang__bindings.cxlinkagekind -> 'monoid; visit_elaborated_type_keyword : env. 'env -> elaborated_type_keyword -> 'monoid; visit_floating_literal : env. 'env -> floating_literal -> 'monoid; visit_integer_literal : env. 'env -> integer_literal -> 'monoid; visit_open_node : env a qual_type. ('env -> 'a -> 'monoid) -> ('env -> 'qual_type -> 'monoid) -> 'env -> ('a, 'qual_type) open_node -> 'monoid; visit_unary_expr_kind : env. 'env -> unary_expr_kind -> 'monoid; visit_unary_operator_kind : env. 'env -> unary_operator_kind -> 'monoid; .. > -> env. 'env -> integer_literal -> 'monoidmethod visit_floating_literal : < visit_binary_operator_kind : env. 'env -> binary_operator_kind -> 'monoid; visit_builtin_type : env. 'env -> builtin_type -> 'monoid; visit_character_kind : env. 'env -> character_kind -> 'monoid; visit_cxcallingconv : env. 'env -> Clang__bindings.cxcallingconv -> 'monoid; visit_cxlinkagekind : env. 'env -> Clang__bindings.cxlinkagekind -> 'monoid; visit_elaborated_type_keyword : env. 'env -> elaborated_type_keyword -> 'monoid; visit_floating_literal : env. 'env -> floating_literal -> 'monoid; visit_integer_literal : env. 'env -> integer_literal -> 'monoid; visit_open_node : env a qual_type. ('env -> 'a -> 'monoid) -> ('env -> 'qual_type -> 'monoid) -> 'env -> ('a, 'qual_type) open_node -> 'monoid; visit_unary_expr_kind : env. 'env -> unary_expr_kind -> 'monoid; visit_unary_operator_kind : env. 'env -> unary_operator_kind -> 'monoid; .. > -> env. 'env -> floating_literal -> 'monoidmethod visit_elaborated_type_keyword : < visit_binary_operator_kind : env. 'env -> binary_operator_kind -> 'monoid; visit_builtin_type : env. 'env -> builtin_type -> 'monoid; visit_character_kind : env. 'env -> character_kind -> 'monoid; visit_cxcallingconv : env. 'env -> Clang__bindings.cxcallingconv -> 'monoid; visit_cxlinkagekind : env. 'env -> Clang__bindings.cxlinkagekind -> 'monoid; visit_elaborated_type_keyword : env. 'env -> elaborated_type_keyword -> 'monoid; visit_floating_literal : env. 'env -> floating_literal -> 'monoid; visit_integer_literal : env. 'env -> integer_literal -> 'monoid; visit_open_node : env a qual_type. ('env -> 'a -> 'monoid) -> ('env -> 'qual_type -> 'monoid) -> 'env -> ('a, 'qual_type) open_node -> 'monoid; visit_unary_expr_kind : env. 'env -> unary_expr_kind -> 'monoid; visit_unary_operator_kind : env. 'env -> unary_operator_kind -> 'monoid; .. > -> env. 'env -> elaborated_type_keyword -> 'monoidmethod visit_builtin_type : < visit_binary_operator_kind : env. 'env -> binary_operator_kind -> 'monoid; visit_builtin_type : env. 'env -> builtin_type -> 'monoid; visit_character_kind : env. 'env -> character_kind -> 'monoid; visit_cxcallingconv : env. 'env -> Clang__bindings.cxcallingconv -> 'monoid; visit_cxlinkagekind : env. 'env -> Clang__bindings.cxlinkagekind -> 'monoid; visit_elaborated_type_keyword : env. 'env -> elaborated_type_keyword -> 'monoid; visit_floating_literal : env. 'env -> floating_literal -> 'monoid; visit_integer_literal : env. 'env -> integer_literal -> 'monoid; visit_open_node : env a qual_type. ('env -> 'a -> 'monoid) -> ('env -> 'qual_type -> 'monoid) -> 'env -> ('a, 'qual_type) open_node -> 'monoid; visit_unary_expr_kind : env. 'env -> unary_expr_kind -> 'monoid; visit_unary_operator_kind : env. 'env -> unary_operator_kind -> 'monoid; .. > -> env. 'env -> builtin_type -> 'monoidmethod visit_cxcallingconv : < visit_binary_operator_kind : env. 'env -> binary_operator_kind -> 'monoid; visit_builtin_type : env. 'env -> builtin_type -> 'monoid; visit_character_kind : env. 'env -> character_kind -> 'monoid; visit_cxcallingconv : env. 'env -> Clang__bindings.cxcallingconv -> 'monoid; visit_cxlinkagekind : env. 'env -> Clang__bindings.cxlinkagekind -> 'monoid; visit_elaborated_type_keyword : env. 'env -> elaborated_type_keyword -> 'monoid; visit_floating_literal : env. 'env -> floating_literal -> 'monoid; visit_integer_literal : env. 'env -> integer_literal -> 'monoid; visit_open_node : env a qual_type. ('env -> 'a -> 'monoid) -> ('env -> 'qual_type -> 'monoid) -> 'env -> ('a, 'qual_type) open_node -> 'monoid; visit_unary_expr_kind : env. 'env -> unary_expr_kind -> 'monoid; visit_unary_operator_kind : env. 'env -> unary_operator_kind -> 'monoid; .. > -> env. 'env -> Clang__bindings.cxcallingconv -> 'monoidmethod visit_cxlinkagekind : < visit_binary_operator_kind : env. 'env -> binary_operator_kind -> 'monoid; visit_builtin_type : env. 'env -> builtin_type -> 'monoid; visit_character_kind : env. 'env -> character_kind -> 'monoid; visit_cxcallingconv : env. 'env -> Clang__bindings.cxcallingconv -> 'monoid; visit_cxlinkagekind : env. 'env -> Clang__bindings.cxlinkagekind -> 'monoid; visit_elaborated_type_keyword : env. 'env -> elaborated_type_keyword -> 'monoid; visit_floating_literal : env. 'env -> floating_literal -> 'monoid; visit_integer_literal : env. 'env -> integer_literal -> 'monoid; visit_open_node : env a qual_type. ('env -> 'a -> 'monoid) -> ('env -> 'qual_type -> 'monoid) -> 'env -> ('a, 'qual_type) open_node -> 'monoid; visit_unary_expr_kind : env. 'env -> unary_expr_kind -> 'monoid; visit_unary_operator_kind : env. 'env -> unary_operator_kind -> 'monoid; .. > -> env. 'env -> Clang__bindings.cxlinkagekind -> 'monoidmethod visit_character_kind : < visit_binary_operator_kind : env. 'env -> binary_operator_kind -> 'monoid; visit_builtin_type : env. 'env -> builtin_type -> 'monoid; visit_character_kind : env. 'env -> character_kind -> 'monoid; visit_cxcallingconv : env. 'env -> Clang__bindings.cxcallingconv -> 'monoid; visit_cxlinkagekind : env. 'env -> Clang__bindings.cxlinkagekind -> 'monoid; visit_elaborated_type_keyword : env. 'env -> elaborated_type_keyword -> 'monoid; visit_floating_literal : env. 'env -> floating_literal -> 'monoid; visit_integer_literal : env. 'env -> integer_literal -> 'monoid; visit_open_node : env a qual_type. ('env -> 'a -> 'monoid) -> ('env -> 'qual_type -> 'monoid) -> 'env -> ('a, 'qual_type) open_node -> 'monoid; visit_unary_expr_kind : env. 'env -> unary_expr_kind -> 'monoid; visit_unary_operator_kind : env. 'env -> unary_operator_kind -> 'monoid; .. > -> env. 'env -> character_kind -> 'monoidmethod visit_unary_expr_kind : < visit_binary_operator_kind : env. 'env -> binary_operator_kind -> 'monoid; visit_builtin_type : env. 'env -> builtin_type -> 'monoid; visit_character_kind : env. 'env -> character_kind -> 'monoid; visit_cxcallingconv : env. 'env -> Clang__bindings.cxcallingconv -> 'monoid; visit_cxlinkagekind : env. 'env -> Clang__bindings.cxlinkagekind -> 'monoid; visit_elaborated_type_keyword : env. 'env -> elaborated_type_keyword -> 'monoid; visit_floating_literal : env. 'env -> floating_literal -> 'monoid; visit_integer_literal : env. 'env -> integer_literal -> 'monoid; visit_open_node : env a qual_type. ('env -> 'a -> 'monoid) -> ('env -> 'qual_type -> 'monoid) -> 'env -> ('a, 'qual_type) open_node -> 'monoid; visit_unary_expr_kind : env. 'env -> unary_expr_kind -> 'monoid; visit_unary_operator_kind : env. 'env -> unary_operator_kind -> 'monoid; .. > -> env. 'env -> unary_expr_kind -> 'monoidmethod visit_unary_operator_kind : < visit_binary_operator_kind : env. 'env -> binary_operator_kind -> 'monoid; visit_builtin_type : env. 'env -> builtin_type -> 'monoid; visit_character_kind : env. 'env -> character_kind -> 'monoid; visit_cxcallingconv : env. 'env -> Clang__bindings.cxcallingconv -> 'monoid; visit_cxlinkagekind : env. 'env -> Clang__bindings.cxlinkagekind -> 'monoid; visit_elaborated_type_keyword : env. 'env -> elaborated_type_keyword -> 'monoid; visit_floating_literal : env. 'env -> floating_literal -> 'monoid; visit_integer_literal : env. 'env -> integer_literal -> 'monoid; visit_open_node : env a qual_type. ('env -> 'a -> 'monoid) -> ('env -> 'qual_type -> 'monoid) -> 'env -> ('a, 'qual_type) open_node -> 'monoid; visit_unary_expr_kind : env. 'env -> unary_expr_kind -> 'monoid; visit_unary_operator_kind : env. 'env -> unary_operator_kind -> 'monoid; .. > -> env. 'env -> unary_operator_kind -> 'monoidmethod visit_binary_operator_kind : < visit_binary_operator_kind : env. 'env -> binary_operator_kind -> 'monoid; visit_builtin_type : env. 'env -> builtin_type -> 'monoid; visit_character_kind : env. 'env -> character_kind -> 'monoid; visit_cxcallingconv : env. 'env -> Clang__bindings.cxcallingconv -> 'monoid; visit_cxlinkagekind : env. 'env -> Clang__bindings.cxlinkagekind -> 'monoid; visit_elaborated_type_keyword : env. 'env -> elaborated_type_keyword -> 'monoid; visit_floating_literal : env. 'env -> floating_literal -> 'monoid; visit_integer_literal : env. 'env -> integer_literal -> 'monoid; visit_open_node : env a qual_type. ('env -> 'a -> 'monoid) -> ('env -> 'qual_type -> 'monoid) -> 'env -> ('a, 'qual_type) open_node -> 'monoid; visit_unary_expr_kind : env. 'env -> unary_expr_kind -> 'monoid; visit_unary_operator_kind : env. 'env -> unary_operator_kind -> 'monoid; .. > -> env. 'env -> binary_operator_kind -> 'monoid