package ppx_core

  1. Overview
  2. Docs

First class AST patterns

PPX rewriters often need to recognize fragments the OCaml AST, for instance to parse the payload of an attribute/expression. You can do that with a pattern matching and manual error reporting when the input is not what you expect but this has proven to quickly become extremely verbose and unreadable.

This module aims to help with that by providing first class AST patterns.

To understand how to use it, let's consider the example of ppx_inline_test. We want to recognize patterns of the form:

let%test "name" = expr

Which is a syntactic sugar for:

[%%test let "name" = expr]

If we wanted to write a function that recognizes the payload of %%test using normal pattern matching we would write:

let match_payload = function
  | Pstr [ { pstr_desc = Pstr_value (Nonrecursive,
                                     [ { pvb_pat = Ppat_constant (Constant_string
                                                                    (name, None))
                                       ; pvb_expr = e
                                       ; _ } ])
           ; _ } ] ->
    (name, e)
  | _ -> Location.raisef ...

This is quite cumbersome, and this is still not right: this function drops all attributes without notice.

Now let's imagine we wanted to construct the payload instead, using Ast_builder one would write:

let build_payload ~loc name expr =
  let (module B) = Ast_builder.with_loc loc in
  let open B in
  pstr [ pstr_value Nonrecursive (value_binding ~pat:(pstring name) ~expr) ]

Constructing a first class pattern is almost as simple as replacing Ast_builder by Ast_pattern:

let payload_pattern name expr =
  let open Ast_pattern in
  pstr (pstr_value nonrecursive (value_binding ~pat:(pstring __) ~expr:__) ^:: nil)

Notice that the place-holders for name and expr have been replaced by __. The following pattern with have type:

(payload, string -> expression -> 'a, 'a) Ast_pattern.t 

which means that it matches values of type payload and captures a string and expression from it. The two captured elements comes from the use of __.

type ('a, 'b, 'c) t

Type of a pattern:

  • 'a is the type of value matched by the pattern
  • 'b is the continuation, for instance for a pattern that captures an int and a string, 'b will be int -> string -> _
  • 'c is the result of the continuation.
val parse : ('a, 'b, 'c) t -> Location.t -> 'a -> 'b -> 'c

Matches a value against a pattern.

module Packed : sig ... end
val __ : ('a, 'a -> 'b, 'b) t

Pattern that captures its input.

val __' : ('a, 'a Loc.t -> 'b, 'b) t

Same as __ but also captures the location.

Note: this should only be used for types that do not embed a location. For instance you can use it to capture a string constant:

estring __'

but using it to capture an expression would not yield the expected result:

pair (eint (int 42)) __'

In the latter case you should use the pexp_loc field of the captured expression instead.

val alt : ('a, 'b, 'c) t -> ('a, 'b, 'c) t -> ('a, 'b, 'c) t

alt stands for `alternatives'. It matches either the first pattern or the second one.

val alt_option : ('a, 'v -> 'b, 'c) t -> ('a, 'b, 'c) t -> ('a, 'v Base.Option.t -> 'b, 'c) t

Same as alt, for the common case where the left-hand-side captures a value but not the right-hand-side.

val (|||) : ('a, 'b, 'c) t -> ('a, 'b, 'c) t -> ('a, 'b, 'c) t

Same as alt

val map : ('a, 'b, 'c) t -> f:('d -> 'b) -> ('a, 'd, 'c) t
val map' : ('a, 'b, 'c) t -> f:(Location.t -> 'd -> 'b) -> ('a, 'd, 'c) t
val map_result : ('a, 'b, 'c) t -> f:('c -> 'd) -> ('a, 'b, 'd) t
val (>>|) : ('a, 'b, 'c) t -> ('d -> 'b) -> ('a, 'd, 'c) t

Same as map

val map0 : ('a, 'b, 'c) t -> f:'v -> ('a, 'v -> 'b, 'c) t
val map1 : ('a, 'v1 -> 'b, 'c) t -> f:('v1 -> 'v) -> ('a, 'v -> 'b, 'c) t
val map2 : ('a, 'v1 -> 'v2 -> 'b, 'c) t -> f:('v1 -> 'v2 -> 'v) -> ('a, 'v -> 'b, 'c) t
val map0' : ('a, 'b, 'c) t -> f:(Location.t -> 'v) -> ('a, 'v -> 'b, 'c) t
val map1' : ('a, 'v1 -> 'b, 'c) t -> f:(Location.t -> 'v1 -> 'v) -> ('a, 'v -> 'b, 'c) t
val map2' : ('a, 'v1 -> 'v2 -> 'b, 'c) t -> f:(Location.t -> 'v1 -> 'v2 -> 'v) -> ('a, 'v -> 'b, 'c) t
val nil : (_ Base.List.t, 'a, 'a) t
val (^::) : ('a, 'b, 'c) t -> ('a Base.List.t, 'c, 'd) t -> ('a Base.List.t, 'b, 'd) t
val many : ('a, 'b -> 'b, 'c) t -> ('a Base.List.t, 'c Base.List.t -> 'd, 'd) t
val int : Base.Int.t -> (Base.Int.t, 'a, 'a) t
val char : Base.Char.t -> (Base.Char.t, 'a, 'a) t
val string : Base.String.t -> (Base.String.t, 'a, 'a) t
val float : Base.Float.t -> (Base.Float.t, 'a, 'a) t
val int32 : Base.Int32.t -> (Base.Int32.t, 'a, 'a) t
val int64 : Base.Int64.t -> (Base.Int64.t, 'a, 'a) t
val nativeint : Base.Nativeint.t -> (Base.Nativeint.t, 'a, 'a) t
val bool : Base.Bool.t -> (Base.Bool.t, 'a, 'a) t
val cst : to_string:('a -> Base.String.t) -> ?equal:('a -> 'a -> Base.Bool.t) -> 'a -> ('a, 'b, 'b) t
val none : (_ Base.Option.t, 'a, 'a) t
val some : ('a, 'b, 'c) t -> ('a Base.Option.t, 'b, 'c) t
val pair : ('a1, 'b, 'c) t -> ('a2, 'c, 'd) t -> ('a1 * 'a2, 'b, 'd) t
val (**) : ('a1, 'b, 'c) t -> ('a2, 'c, 'd) t -> ('a1 * 'a2, 'b, 'd) t
val triple : ('a1, 'b, 'c) t -> ('a2, 'c, 'd) t -> ('a3, 'd, 'e) t -> ('a1 * 'a2 * 'a3, 'b, 'e) t
val loc : ('a, 'b, 'c) t -> ('a Loc.t, 'b, 'c) t
val pack0 : ('a, 'b, 'c) t -> ('a, Base.Unit.t -> 'b, 'c) t
val pack2 : ('a, 'b -> 'c -> 'd, 'e) t -> ('a, ('b * 'c) -> 'd, 'e) t
val pack3 : ('a, 'b -> 'c -> 'd -> 'e, 'f) t -> ('a, ('b * 'c * 'd) -> 'e, 'f) t

AST patterns for each constructur/record of the parsetree are generated in the same way AST builders are generated. In addition, for every t wrapper we generate a pattern to match the loc and attributes fields. For instanct for the expression type:

val pexp_loc
  :  (Location.t, 'a, 'b) t
  -> (expression, 'b, 'c) t
  -> (expression, 'a, 'c) t

val pexp_attributes
  :  (attributes, 'a, 'b) t
  -> (expression, 'b, 'c) t
  -> (expression, 'a, 'c) t
val nolabel : (Migrate_parsetree.OCaml_403.Ast.Asttypes.arg_label, 'a, 'a) Ppx_core__.Ast_pattern0.t
val labelled : (string, 'a, 'b) Ppx_core__.Ast_pattern0.t -> (Migrate_parsetree.OCaml_403.Ast.Asttypes.arg_label, 'a, 'b) Ppx_core__.Ast_pattern0.t
val optional : (string, 'a, 'b) Ppx_core__.Ast_pattern0.t -> (Migrate_parsetree.OCaml_403.Ast.Asttypes.arg_label, 'a, 'b) Ppx_core__.Ast_pattern0.t
val case : lhs: (Migrate_parsetree.OCaml_403.Ast.Parsetree.pattern, 'a, 'b) Ppx_core__.Ast_pattern0.t -> guard: (Migrate_parsetree.OCaml_403.Ast.Parsetree.expression option, 'b, 'c) Ppx_core__.Ast_pattern0.t -> rhs: (Migrate_parsetree.OCaml_403.Ast.Parsetree.expression, 'c, 'd) Ppx_core__.Ast_pattern0.t -> (Migrate_parsetree.OCaml_403.Ast.Parsetree.case, 'a, 'd) Ppx_core__.Ast_pattern0.t
val pcl_loc : (Ocaml_common.Location.t, 'a, 'b) Ppx_core__.Ast_pattern0.t -> (Migrate_parsetree.OCaml_403.Ast.Parsetree.class_expr, 'b, 'c) Ppx_core__.Ast_pattern0.t -> (Migrate_parsetree.OCaml_403.Ast.Parsetree.class_expr, 'a, 'c) Ppx_core__.Ast_pattern0.t
val pcl_attributes : ((string Ocaml_common.Location.loc * Migrate_parsetree.OCaml_403.Ast.Parsetree.payload) list, 'a, 'b) Ppx_core__.Ast_pattern0.t -> (Migrate_parsetree.OCaml_403.Ast.Parsetree.class_expr, 'b, 'c) Ppx_core__.Ast_pattern0.t -> (Migrate_parsetree.OCaml_403.Ast.Parsetree.class_expr, 'a, 'c) Ppx_core__.Ast_pattern0.t
val pcl_constr : (Ocaml_common.Longident.t, 'a, 'b) Ppx_core__.Ast_pattern0.t -> (Migrate_parsetree.OCaml_403.Ast.Parsetree.core_type list, 'b, 'c) Ppx_core__.Ast_pattern0.t -> (Migrate_parsetree.OCaml_403.Ast.Parsetree.class_expr, 'a, 'c) Ppx_core__.Ast_pattern0.t
val pcl_structure : (Migrate_parsetree.OCaml_403.Ast.Parsetree.class_structure, 'a, 'b) Ppx_core__.Ast_pattern0.t -> (Migrate_parsetree.OCaml_403.Ast.Parsetree.class_expr, 'a, 'b) Ppx_core__.Ast_pattern0.t
val pcl_fun : (Migrate_parsetree.OCaml_403.Ast.Asttypes.arg_label, 'a, 'b) Ppx_core__.Ast_pattern0.t -> (Migrate_parsetree.OCaml_403.Ast.Parsetree.expression option, 'b, 'c) Ppx_core__.Ast_pattern0.t -> (Migrate_parsetree.OCaml_403.Ast.Parsetree.pattern, 'c, 'd) Ppx_core__.Ast_pattern0.t -> (Migrate_parsetree.OCaml_403.Ast.Parsetree.class_expr, 'd, 'e) Ppx_core__.Ast_pattern0.t -> (Migrate_parsetree.OCaml_403.Ast.Parsetree.class_expr, 'a, 'e) Ppx_core__.Ast_pattern0.t
val pcl_apply : (Migrate_parsetree.OCaml_403.Ast.Parsetree.class_expr, 'a, 'b) Ppx_core__.Ast_pattern0.t -> ((Migrate_parsetree.OCaml_403.Ast.Asttypes.arg_label * Migrate_parsetree.OCaml_403.Ast.Parsetree.expression) list, 'b, 'c) Ppx_core__.Ast_pattern0.t -> (Migrate_parsetree.OCaml_403.Ast.Parsetree.class_expr, 'a, 'c) Ppx_core__.Ast_pattern0.t
val pcl_let : (Migrate_parsetree.OCaml_403.Ast.Asttypes.rec_flag, 'a, 'b) Ppx_core__.Ast_pattern0.t -> (Migrate_parsetree.OCaml_403.Ast.Parsetree.value_binding list, 'b, 'c) Ppx_core__.Ast_pattern0.t -> (Migrate_parsetree.OCaml_403.Ast.Parsetree.class_expr, 'c, 'd) Ppx_core__.Ast_pattern0.t -> (Migrate_parsetree.OCaml_403.Ast.Parsetree.class_expr, 'a, 'd) Ppx_core__.Ast_pattern0.t
val pcl_constraint : (Migrate_parsetree.OCaml_403.Ast.Parsetree.class_expr, 'a, 'b) Ppx_core__.Ast_pattern0.t -> (Migrate_parsetree.OCaml_403.Ast.Parsetree.class_type, 'b, 'c) Ppx_core__.Ast_pattern0.t -> (Migrate_parsetree.OCaml_403.Ast.Parsetree.class_expr, 'a, 'c) Ppx_core__.Ast_pattern0.t
val pcl_extension : (string Ocaml_common.Location.loc * Migrate_parsetree.OCaml_403.Ast.Parsetree.payload, 'a, 'b) Ppx_core__.Ast_pattern0.t -> (Migrate_parsetree.OCaml_403.Ast.Parsetree.class_expr, 'a, 'b) Ppx_core__.Ast_pattern0.t
val pcf_loc : (Ocaml_common.Location.t, 'a, 'b) Ppx_core__.Ast_pattern0.t -> (Migrate_parsetree.OCaml_403.Ast.Parsetree.class_field, 'b, 'c) Ppx_core__.Ast_pattern0.t -> (Migrate_parsetree.OCaml_403.Ast.Parsetree.class_field, 'a, 'c) Ppx_core__.Ast_pattern0.t
val pcf_attributes : ((string Ocaml_common.Location.loc * Migrate_parsetree.OCaml_403.Ast.Parsetree.payload) list, 'a, 'b) Ppx_core__.Ast_pattern0.t -> (Migrate_parsetree.OCaml_403.Ast.Parsetree.class_field, 'b, 'c) Ppx_core__.Ast_pattern0.t -> (Migrate_parsetree.OCaml_403.Ast.Parsetree.class_field, 'a, 'c) Ppx_core__.Ast_pattern0.t
val pcf_inherit : (Migrate_parsetree.OCaml_403.Ast.Asttypes.override_flag, 'a, 'b) Ppx_core__.Ast_pattern0.t -> (Migrate_parsetree.OCaml_403.Ast.Parsetree.class_expr, 'b, 'c) Ppx_core__.Ast_pattern0.t -> (string option, 'c, 'd) Ppx_core__.Ast_pattern0.t -> (Migrate_parsetree.OCaml_403.Ast.Parsetree.class_field, 'a, 'd) Ppx_core__.Ast_pattern0.t
val pcf_initializer : (Migrate_parsetree.OCaml_403.Ast.Parsetree.expression, 'a, 'b) Ppx_core__.Ast_pattern0.t -> (Migrate_parsetree.OCaml_403.Ast.Parsetree.class_field, 'a, 'b) Ppx_core__.Ast_pattern0.t
val pcf_attribute : (string Ocaml_common.Location.loc * Migrate_parsetree.OCaml_403.Ast.Parsetree.payload, 'a, 'b) Ppx_core__.Ast_pattern0.t -> (Migrate_parsetree.OCaml_403.Ast.Parsetree.class_field, 'a, 'b) Ppx_core__.Ast_pattern0.t
val pcf_extension : (string Ocaml_common.Location.loc * Migrate_parsetree.OCaml_403.Ast.Parsetree.payload, 'a, 'b) Ppx_core__.Ast_pattern0.t -> (Migrate_parsetree.OCaml_403.Ast.Parsetree.class_field, 'a, 'b) Ppx_core__.Ast_pattern0.t
val cfk_virtual : (Migrate_parsetree.OCaml_403.Ast.Parsetree.core_type, 'a, 'b) Ppx_core__.Ast_pattern0.t -> (Migrate_parsetree.OCaml_403.Ast.Parsetree.class_field_kind, 'a, 'b) Ppx_core__.Ast_pattern0.t
val cfk_concrete : (Migrate_parsetree.OCaml_403.Ast.Asttypes.override_flag, 'a, 'b) Ppx_core__.Ast_pattern0.t -> (Migrate_parsetree.OCaml_403.Ast.Parsetree.expression, 'b, 'c) Ppx_core__.Ast_pattern0.t -> (Migrate_parsetree.OCaml_403.Ast.Parsetree.class_field_kind, 'a, 'c) Ppx_core__.Ast_pattern0.t
val class_infos_attributes : ((string Ocaml_common.Location.loc * Migrate_parsetree.OCaml_403.Ast.Parsetree.payload) list, 'a, 'b) Ppx_core__.Ast_pattern0.t -> ('c Migrate_parsetree.OCaml_403.Ast.Parsetree.class_infos, 'b, 'd) Ppx_core__.Ast_pattern0.t -> ('c Migrate_parsetree.OCaml_403.Ast.Parsetree.class_infos, 'a, 'd) Ppx_core__.Ast_pattern0.t
val class_infos : virt: (Migrate_parsetree.OCaml_403.Ast.Asttypes.virtual_flag, 'a, 'b) Ppx_core__.Ast_pattern0.t -> params: ((Migrate_parsetree.OCaml_403.Ast.Parsetree.core_type * Migrate_parsetree.OCaml_403.Ast.Asttypes.variance) list, 'b, 'c) Ppx_core__.Ast_pattern0.t -> name:(string, 'c, 'd) Ppx_core__.Ast_pattern0.t -> expr:('e, 'd, 'f) Ppx_core__.Ast_pattern0.t -> ('e Migrate_parsetree.OCaml_403.Ast.Parsetree.class_infos, 'a, 'f) Ppx_core__.Ast_pattern0.t
val class_signature : self: (Migrate_parsetree.OCaml_403.Ast.Parsetree.core_type, 'a, 'b) Ppx_core__.Ast_pattern0.t -> fields: (Migrate_parsetree.OCaml_403.Ast.Parsetree.class_type_field list, 'b, 'c) Ppx_core__.Ast_pattern0.t -> (Migrate_parsetree.OCaml_403.Ast.Parsetree.class_signature, 'a, 'c) Ppx_core__.Ast_pattern0.t
val class_structure : self: (Migrate_parsetree.OCaml_403.Ast.Parsetree.pattern, 'a, 'b) Ppx_core__.Ast_pattern0.t -> fields: (Migrate_parsetree.OCaml_403.Ast.Parsetree.class_field list, 'b, 'c) Ppx_core__.Ast_pattern0.t -> (Migrate_parsetree.OCaml_403.Ast.Parsetree.class_structure, 'a, 'c) Ppx_core__.Ast_pattern0.t
val pcty_loc : (Ocaml_common.Location.t, 'a, 'b) Ppx_core__.Ast_pattern0.t -> (Migrate_parsetree.OCaml_403.Ast.Parsetree.class_type, 'b, 'c) Ppx_core__.Ast_pattern0.t -> (Migrate_parsetree.OCaml_403.Ast.Parsetree.class_type, 'a, 'c) Ppx_core__.Ast_pattern0.t
val pcty_attributes : ((string Ocaml_common.Location.loc * Migrate_parsetree.OCaml_403.Ast.Parsetree.payload) list, 'a, 'b) Ppx_core__.Ast_pattern0.t -> (Migrate_parsetree.OCaml_403.Ast.Parsetree.class_type, 'b, 'c) Ppx_core__.Ast_pattern0.t -> (Migrate_parsetree.OCaml_403.Ast.Parsetree.class_type, 'a, 'c) Ppx_core__.Ast_pattern0.t
val pcty_constr : (Ocaml_common.Longident.t, 'a, 'b) Ppx_core__.Ast_pattern0.t -> (Migrate_parsetree.OCaml_403.Ast.Parsetree.core_type list, 'b, 'c) Ppx_core__.Ast_pattern0.t -> (Migrate_parsetree.OCaml_403.Ast.Parsetree.class_type, 'a, 'c) Ppx_core__.Ast_pattern0.t
val pcty_signature : (Migrate_parsetree.OCaml_403.Ast.Parsetree.class_signature, 'a, 'b) Ppx_core__.Ast_pattern0.t -> (Migrate_parsetree.OCaml_403.Ast.Parsetree.class_type, 'a, 'b) Ppx_core__.Ast_pattern0.t
val pcty_arrow : (Migrate_parsetree.OCaml_403.Ast.Asttypes.arg_label, 'a, 'b) Ppx_core__.Ast_pattern0.t -> (Migrate_parsetree.OCaml_403.Ast.Parsetree.core_type, 'b, 'c) Ppx_core__.Ast_pattern0.t -> (Migrate_parsetree.OCaml_403.Ast.Parsetree.class_type, 'c, 'd) Ppx_core__.Ast_pattern0.t -> (Migrate_parsetree.OCaml_403.Ast.Parsetree.class_type, 'a, 'd) Ppx_core__.Ast_pattern0.t
val pcty_extension : (string Ocaml_common.Location.loc * Migrate_parsetree.OCaml_403.Ast.Parsetree.payload, 'a, 'b) Ppx_core__.Ast_pattern0.t -> (Migrate_parsetree.OCaml_403.Ast.Parsetree.class_type, 'a, 'b) Ppx_core__.Ast_pattern0.t
val pctf_loc : (Ocaml_common.Location.t, 'a, 'b) Ppx_core__.Ast_pattern0.t -> (Migrate_parsetree.OCaml_403.Ast.Parsetree.class_type_field, 'b, 'c) Ppx_core__.Ast_pattern0.t -> (Migrate_parsetree.OCaml_403.Ast.Parsetree.class_type_field, 'a, 'c) Ppx_core__.Ast_pattern0.t
val pctf_attributes : ((string Ocaml_common.Location.loc * Migrate_parsetree.OCaml_403.Ast.Parsetree.payload) list, 'a, 'b) Ppx_core__.Ast_pattern0.t -> (Migrate_parsetree.OCaml_403.Ast.Parsetree.class_type_field, 'b, 'c) Ppx_core__.Ast_pattern0.t -> (Migrate_parsetree.OCaml_403.Ast.Parsetree.class_type_field, 'a, 'c) Ppx_core__.Ast_pattern0.t
val pctf_inherit : (Migrate_parsetree.OCaml_403.Ast.Parsetree.class_type, 'a, 'b) Ppx_core__.Ast_pattern0.t -> (Migrate_parsetree.OCaml_403.Ast.Parsetree.class_type_field, 'a, 'b) Ppx_core__.Ast_pattern0.t
val pctf_attribute : (string Ocaml_common.Location.loc * Migrate_parsetree.OCaml_403.Ast.Parsetree.payload, 'a, 'b) Ppx_core__.Ast_pattern0.t -> (Migrate_parsetree.OCaml_403.Ast.Parsetree.class_type_field, 'a, 'b) Ppx_core__.Ast_pattern0.t
val pctf_extension : (string Ocaml_common.Location.loc * Migrate_parsetree.OCaml_403.Ast.Parsetree.payload, 'a, 'b) Ppx_core__.Ast_pattern0.t -> (Migrate_parsetree.OCaml_403.Ast.Parsetree.class_type_field, 'a, 'b) Ppx_core__.Ast_pattern0.t
val closed : (Migrate_parsetree.OCaml_403.Ast.Asttypes.closed_flag, 'a, 'a) Ppx_core__.Ast_pattern0.t
val open_ : (Migrate_parsetree.OCaml_403.Ast.Asttypes.closed_flag, 'a, 'a) Ppx_core__.Ast_pattern0.t
val pconst_integer : (string, 'a, 'b) Ppx_core__.Ast_pattern0.t -> (char option, 'b, 'c) Ppx_core__.Ast_pattern0.t -> (Migrate_parsetree.OCaml_403.Ast.Parsetree.constant, 'a, 'c) Ppx_core__.Ast_pattern0.t
val pconst_char : (char, 'a, 'b) Ppx_core__.Ast_pattern0.t -> (Migrate_parsetree.OCaml_403.Ast.Parsetree.constant, 'a, 'b) Ppx_core__.Ast_pattern0.t
val pconst_string : (string, 'a, 'b) Ppx_core__.Ast_pattern0.t -> (string option, 'b, 'c) Ppx_core__.Ast_pattern0.t -> (Migrate_parsetree.OCaml_403.Ast.Parsetree.constant, 'a, 'c) Ppx_core__.Ast_pattern0.t
val pconst_float : (string, 'a, 'b) Ppx_core__.Ast_pattern0.t -> (char option, 'b, 'c) Ppx_core__.Ast_pattern0.t -> (Migrate_parsetree.OCaml_403.Ast.Parsetree.constant, 'a, 'c) Ppx_core__.Ast_pattern0.t
val pcstr_tuple : (Migrate_parsetree.OCaml_403.Ast.Parsetree.core_type list, 'a, 'b) Ppx_core__.Ast_pattern0.t -> (Migrate_parsetree.OCaml_403.Ast.Parsetree.constructor_arguments, 'a, 'b) Ppx_core__.Ast_pattern0.t
val pcstr_record : (Migrate_parsetree.OCaml_403.Ast.Parsetree.label_declaration list, 'a, 'b) Ppx_core__.Ast_pattern0.t -> (Migrate_parsetree.OCaml_403.Ast.Parsetree.constructor_arguments, 'a, 'b) Ppx_core__.Ast_pattern0.t
val constructor_declaration_attributes : ((string Ocaml_common.Location.loc * Migrate_parsetree.OCaml_403.Ast.Parsetree.payload) list, 'a, 'b) Ppx_core__.Ast_pattern0.t -> (Migrate_parsetree.OCaml_403.Ast.Parsetree.constructor_declaration, 'b, 'c) Ppx_core__.Ast_pattern0.t -> (Migrate_parsetree.OCaml_403.Ast.Parsetree.constructor_declaration, 'a, 'c) Ppx_core__.Ast_pattern0.t
val constructor_declaration : name:(string, 'a, 'b) Ppx_core__.Ast_pattern0.t -> args: (Migrate_parsetree.OCaml_403.Ast.Parsetree.constructor_arguments, 'b, 'c) Ppx_core__.Ast_pattern0.t -> res: (Migrate_parsetree.OCaml_403.Ast.Parsetree.core_type option, 'c, 'd) Ppx_core__.Ast_pattern0.t -> (Migrate_parsetree.OCaml_403.Ast.Parsetree.constructor_declaration, 'a, 'd) Ppx_core__.Ast_pattern0.t
val ptyp_loc : (Ocaml_common.Location.t, 'a, 'b) Ppx_core__.Ast_pattern0.t -> (Migrate_parsetree.OCaml_403.Ast.Parsetree.core_type, 'b, 'c) Ppx_core__.Ast_pattern0.t -> (Migrate_parsetree.OCaml_403.Ast.Parsetree.core_type, 'a, 'c) Ppx_core__.Ast_pattern0.t
val ptyp_attributes : ((string Ocaml_common.Location.loc * Migrate_parsetree.OCaml_403.Ast.Parsetree.payload) list, 'a, 'b) Ppx_core__.Ast_pattern0.t -> (Migrate_parsetree.OCaml_403.Ast.Parsetree.core_type, 'b, 'c) Ppx_core__.Ast_pattern0.t -> (Migrate_parsetree.OCaml_403.Ast.Parsetree.core_type, 'a, 'c) Ppx_core__.Ast_pattern0.t
val ptyp_any : (Migrate_parsetree.OCaml_403.Ast.Parsetree.core_type, 'a, 'a) Ppx_core__.Ast_pattern0.t
val ptyp_var : (string, 'a, 'b) Ppx_core__.Ast_pattern0.t -> (Migrate_parsetree.OCaml_403.Ast.Parsetree.core_type, 'a, 'b) Ppx_core__.Ast_pattern0.t
val ptyp_arrow : (Migrate_parsetree.OCaml_403.Ast.Asttypes.arg_label, 'a, 'b) Ppx_core__.Ast_pattern0.t -> (Migrate_parsetree.OCaml_403.Ast.Parsetree.core_type, 'b, 'c) Ppx_core__.Ast_pattern0.t -> (Migrate_parsetree.OCaml_403.Ast.Parsetree.core_type, 'c, 'd) Ppx_core__.Ast_pattern0.t -> (Migrate_parsetree.OCaml_403.Ast.Parsetree.core_type, 'a, 'd) Ppx_core__.Ast_pattern0.t
val ptyp_tuple : (Migrate_parsetree.OCaml_403.Ast.Parsetree.core_type list, 'a, 'b) Ppx_core__.Ast_pattern0.t -> (Migrate_parsetree.OCaml_403.Ast.Parsetree.core_type, 'a, 'b) Ppx_core__.Ast_pattern0.t
val ptyp_constr : (Ocaml_common.Longident.t, 'a, 'b) Ppx_core__.Ast_pattern0.t -> (Migrate_parsetree.OCaml_403.Ast.Parsetree.core_type list, 'b, 'c) Ppx_core__.Ast_pattern0.t -> (Migrate_parsetree.OCaml_403.Ast.Parsetree.core_type, 'a, 'c) Ppx_core__.Ast_pattern0.t
val ptyp_object : ((string * (string Ocaml_common.Location.loc * Migrate_parsetree.OCaml_403.Ast.Parsetree.payload) list * Migrate_parsetree.OCaml_403.Ast.Parsetree.core_type) list, 'a, 'b) Ppx_core__.Ast_pattern0.t -> (Migrate_parsetree.OCaml_403.Ast.Asttypes.closed_flag, 'b, 'c) Ppx_core__.Ast_pattern0.t -> (Migrate_parsetree.OCaml_403.Ast.Parsetree.core_type, 'a, 'c) Ppx_core__.Ast_pattern0.t
val ptyp_class : (Ocaml_common.Longident.t, 'a, 'b) Ppx_core__.Ast_pattern0.t -> (Migrate_parsetree.OCaml_403.Ast.Parsetree.core_type list, 'b, 'c) Ppx_core__.Ast_pattern0.t -> (Migrate_parsetree.OCaml_403.Ast.Parsetree.core_type, 'a, 'c) Ppx_core__.Ast_pattern0.t
val ptyp_alias : (Migrate_parsetree.OCaml_403.Ast.Parsetree.core_type, 'a, 'b) Ppx_core__.Ast_pattern0.t -> (string, 'b, 'c) Ppx_core__.Ast_pattern0.t -> (Migrate_parsetree.OCaml_403.Ast.Parsetree.core_type, 'a, 'c) Ppx_core__.Ast_pattern0.t
val ptyp_variant : (Migrate_parsetree.OCaml_403.Ast.Parsetree.row_field list, 'a, 'b) Ppx_core__.Ast_pattern0.t -> (Migrate_parsetree.OCaml_403.Ast.Asttypes.closed_flag, 'b, 'c) Ppx_core__.Ast_pattern0.t -> (string list option, 'c, 'd) Ppx_core__.Ast_pattern0.t -> (Migrate_parsetree.OCaml_403.Ast.Parsetree.core_type, 'a, 'd) Ppx_core__.Ast_pattern0.t
val ptyp_poly : (string list, 'a, 'b) Ppx_core__.Ast_pattern0.t -> (Migrate_parsetree.OCaml_403.Ast.Parsetree.core_type, 'b, 'c) Ppx_core__.Ast_pattern0.t -> (Migrate_parsetree.OCaml_403.Ast.Parsetree.core_type, 'a, 'c) Ppx_core__.Ast_pattern0.t
val ptyp_extension : (string Ocaml_common.Location.loc * Migrate_parsetree.OCaml_403.Ast.Parsetree.payload, 'a, 'b) Ppx_core__.Ast_pattern0.t -> (Migrate_parsetree.OCaml_403.Ast.Parsetree.core_type, 'a, 'b) Ppx_core__.Ast_pattern0.t
val upto : (Migrate_parsetree.OCaml_403.Ast.Asttypes.direction_flag, 'a, 'a) Ppx_core__.Ast_pattern0.t
val downto_ : (Migrate_parsetree.OCaml_403.Ast.Asttypes.direction_flag, 'a, 'a) Ppx_core__.Ast_pattern0.t
val pdir_none : (Migrate_parsetree.OCaml_403.Ast.Parsetree.directive_argument, 'a, 'a) Ppx_core__.Ast_pattern0.t
val pdir_string : (string, 'a, 'b) Ppx_core__.Ast_pattern0.t -> (Migrate_parsetree.OCaml_403.Ast.Parsetree.directive_argument, 'a, 'b) Ppx_core__.Ast_pattern0.t
val pdir_int : (string, 'a, 'b) Ppx_core__.Ast_pattern0.t -> (char option, 'b, 'c) Ppx_core__.Ast_pattern0.t -> (Migrate_parsetree.OCaml_403.Ast.Parsetree.directive_argument, 'a, 'c) Ppx_core__.Ast_pattern0.t
val pdir_ident : (Ocaml_common.Longident.t, 'a, 'b) Ppx_core__.Ast_pattern0.t -> (Migrate_parsetree.OCaml_403.Ast.Parsetree.directive_argument, 'a, 'b) Ppx_core__.Ast_pattern0.t
val pdir_bool : (bool, 'a, 'b) Ppx_core__.Ast_pattern0.t -> (Migrate_parsetree.OCaml_403.Ast.Parsetree.directive_argument, 'a, 'b) Ppx_core__.Ast_pattern0.t
val pexp_loc : (Ocaml_common.Location.t, 'a, 'b) Ppx_core__.Ast_pattern0.t -> (Migrate_parsetree.OCaml_403.Ast.Parsetree.expression, 'b, 'c) Ppx_core__.Ast_pattern0.t -> (Migrate_parsetree.OCaml_403.Ast.Parsetree.expression, 'a, 'c) Ppx_core__.Ast_pattern0.t
val pexp_attributes : ((string Ocaml_common.Location.loc * Migrate_parsetree.OCaml_403.Ast.Parsetree.payload) list, 'a, 'b) Ppx_core__.Ast_pattern0.t -> (Migrate_parsetree.OCaml_403.Ast.Parsetree.expression, 'b, 'c) Ppx_core__.Ast_pattern0.t -> (Migrate_parsetree.OCaml_403.Ast.Parsetree.expression, 'a, 'c) Ppx_core__.Ast_pattern0.t
val pexp_ident : (Ocaml_common.Longident.t, 'a, 'b) Ppx_core__.Ast_pattern0.t -> (Migrate_parsetree.OCaml_403.Ast.Parsetree.expression, 'a, 'b) Ppx_core__.Ast_pattern0.t
val pexp_constant : (Migrate_parsetree.OCaml_403.Ast.Parsetree.constant, 'a, 'b) Ppx_core__.Ast_pattern0.t -> (Migrate_parsetree.OCaml_403.Ast.Parsetree.expression, 'a, 'b) Ppx_core__.Ast_pattern0.t
val pexp_let : (Migrate_parsetree.OCaml_403.Ast.Asttypes.rec_flag, 'a, 'b) Ppx_core__.Ast_pattern0.t -> (Migrate_parsetree.OCaml_403.Ast.Parsetree.value_binding list, 'b, 'c) Ppx_core__.Ast_pattern0.t -> (Migrate_parsetree.OCaml_403.Ast.Parsetree.expression, 'c, 'd) Ppx_core__.Ast_pattern0.t -> (Migrate_parsetree.OCaml_403.Ast.Parsetree.expression, 'a, 'd) Ppx_core__.Ast_pattern0.t
val pexp_function : (Migrate_parsetree.OCaml_403.Ast.Parsetree.case list, 'a, 'b) Ppx_core__.Ast_pattern0.t -> (Migrate_parsetree.OCaml_403.Ast.Parsetree.expression, 'a, 'b) Ppx_core__.Ast_pattern0.t
val pexp_fun : (Migrate_parsetree.OCaml_403.Ast.Asttypes.arg_label, 'a, 'b) Ppx_core__.Ast_pattern0.t -> (Migrate_parsetree.OCaml_403.Ast.Parsetree.expression option, 'b, 'c) Ppx_core__.Ast_pattern0.t -> (Migrate_parsetree.OCaml_403.Ast.Parsetree.pattern, 'c, 'd) Ppx_core__.Ast_pattern0.t -> (Migrate_parsetree.OCaml_403.Ast.Parsetree.expression, 'd, 'e) Ppx_core__.Ast_pattern0.t -> (Migrate_parsetree.OCaml_403.Ast.Parsetree.expression, 'a, 'e) Ppx_core__.Ast_pattern0.t
val pexp_apply : (Migrate_parsetree.OCaml_403.Ast.Parsetree.expression, 'a, 'b) Ppx_core__.Ast_pattern0.t -> ((Migrate_parsetree.OCaml_403.Ast.Asttypes.arg_label * Migrate_parsetree.OCaml_403.Ast.Parsetree.expression) list, 'b, 'c) Ppx_core__.Ast_pattern0.t -> (Migrate_parsetree.OCaml_403.Ast.Parsetree.expression, 'a, 'c) Ppx_core__.Ast_pattern0.t
val pexp_match : (Migrate_parsetree.OCaml_403.Ast.Parsetree.expression, 'a, 'b) Ppx_core__.Ast_pattern0.t -> (Migrate_parsetree.OCaml_403.Ast.Parsetree.case list, 'b, 'c) Ppx_core__.Ast_pattern0.t -> (Migrate_parsetree.OCaml_403.Ast.Parsetree.expression, 'a, 'c) Ppx_core__.Ast_pattern0.t
val pexp_try : (Migrate_parsetree.OCaml_403.Ast.Parsetree.expression, 'a, 'b) Ppx_core__.Ast_pattern0.t -> (Migrate_parsetree.OCaml_403.Ast.Parsetree.case list, 'b, 'c) Ppx_core__.Ast_pattern0.t -> (Migrate_parsetree.OCaml_403.Ast.Parsetree.expression, 'a, 'c) Ppx_core__.Ast_pattern0.t
val pexp_tuple : (Migrate_parsetree.OCaml_403.Ast.Parsetree.expression list, 'a, 'b) Ppx_core__.Ast_pattern0.t -> (Migrate_parsetree.OCaml_403.Ast.Parsetree.expression, 'a, 'b) Ppx_core__.Ast_pattern0.t
val pexp_construct : (Ocaml_common.Longident.t, 'a, 'b) Ppx_core__.Ast_pattern0.t -> (Migrate_parsetree.OCaml_403.Ast.Parsetree.expression option, 'b, 'c) Ppx_core__.Ast_pattern0.t -> (Migrate_parsetree.OCaml_403.Ast.Parsetree.expression, 'a, 'c) Ppx_core__.Ast_pattern0.t
val pexp_variant : (string, 'a, 'b) Ppx_core__.Ast_pattern0.t -> (Migrate_parsetree.OCaml_403.Ast.Parsetree.expression option, 'b, 'c) Ppx_core__.Ast_pattern0.t -> (Migrate_parsetree.OCaml_403.Ast.Parsetree.expression, 'a, 'c) Ppx_core__.Ast_pattern0.t
val pexp_record : ((Ocaml_common.Longident.t Ocaml_common.Location.loc * Migrate_parsetree.OCaml_403.Ast.Parsetree.expression) list, 'a, 'b) Ppx_core__.Ast_pattern0.t -> (Migrate_parsetree.OCaml_403.Ast.Parsetree.expression option, 'b, 'c) Ppx_core__.Ast_pattern0.t -> (Migrate_parsetree.OCaml_403.Ast.Parsetree.expression, 'a, 'c) Ppx_core__.Ast_pattern0.t
val pexp_field : (Migrate_parsetree.OCaml_403.Ast.Parsetree.expression, 'a, 'b) Ppx_core__.Ast_pattern0.t -> (Ocaml_common.Longident.t, 'b, 'c) Ppx_core__.Ast_pattern0.t -> (Migrate_parsetree.OCaml_403.Ast.Parsetree.expression, 'a, 'c) Ppx_core__.Ast_pattern0.t
val pexp_setfield : (Migrate_parsetree.OCaml_403.Ast.Parsetree.expression, 'a, 'b) Ppx_core__.Ast_pattern0.t -> (Ocaml_common.Longident.t, 'b, 'c) Ppx_core__.Ast_pattern0.t -> (Migrate_parsetree.OCaml_403.Ast.Parsetree.expression, 'c, 'd) Ppx_core__.Ast_pattern0.t -> (Migrate_parsetree.OCaml_403.Ast.Parsetree.expression, 'a, 'd) Ppx_core__.Ast_pattern0.t
val pexp_array : (Migrate_parsetree.OCaml_403.Ast.Parsetree.expression list, 'a, 'b) Ppx_core__.Ast_pattern0.t -> (Migrate_parsetree.OCaml_403.Ast.Parsetree.expression, 'a, 'b) Ppx_core__.Ast_pattern0.t
val pexp_ifthenelse : (Migrate_parsetree.OCaml_403.Ast.Parsetree.expression, 'a, 'b) Ppx_core__.Ast_pattern0.t -> (Migrate_parsetree.OCaml_403.Ast.Parsetree.expression, 'b, 'c) Ppx_core__.Ast_pattern0.t -> (Migrate_parsetree.OCaml_403.Ast.Parsetree.expression option, 'c, 'd) Ppx_core__.Ast_pattern0.t -> (Migrate_parsetree.OCaml_403.Ast.Parsetree.expression, 'a, 'd) Ppx_core__.Ast_pattern0.t
val pexp_sequence : (Migrate_parsetree.OCaml_403.Ast.Parsetree.expression, 'a, 'b) Ppx_core__.Ast_pattern0.t -> (Migrate_parsetree.OCaml_403.Ast.Parsetree.expression, 'b, 'c) Ppx_core__.Ast_pattern0.t -> (Migrate_parsetree.OCaml_403.Ast.Parsetree.expression, 'a, 'c) Ppx_core__.Ast_pattern0.t
val pexp_while : (Migrate_parsetree.OCaml_403.Ast.Parsetree.expression, 'a, 'b) Ppx_core__.Ast_pattern0.t -> (Migrate_parsetree.OCaml_403.Ast.Parsetree.expression, 'b, 'c) Ppx_core__.Ast_pattern0.t -> (Migrate_parsetree.OCaml_403.Ast.Parsetree.expression, 'a, 'c) Ppx_core__.Ast_pattern0.t
val pexp_for : (Migrate_parsetree.OCaml_403.Ast.Parsetree.pattern, 'a, 'b) Ppx_core__.Ast_pattern0.t -> (Migrate_parsetree.OCaml_403.Ast.Parsetree.expression, 'b, 'c) Ppx_core__.Ast_pattern0.t -> (Migrate_parsetree.OCaml_403.Ast.Parsetree.expression, 'c, 'd) Ppx_core__.Ast_pattern0.t -> (Migrate_parsetree.OCaml_403.Ast.Asttypes.direction_flag, 'd, 'e) Ppx_core__.Ast_pattern0.t -> (Migrate_parsetree.OCaml_403.Ast.Parsetree.expression, 'e, 'f) Ppx_core__.Ast_pattern0.t -> (Migrate_parsetree.OCaml_403.Ast.Parsetree.expression, 'a, 'f) Ppx_core__.Ast_pattern0.t
val pexp_constraint : (Migrate_parsetree.OCaml_403.Ast.Parsetree.expression, 'a, 'b) Ppx_core__.Ast_pattern0.t -> (Migrate_parsetree.OCaml_403.Ast.Parsetree.core_type, 'b, 'c) Ppx_core__.Ast_pattern0.t -> (Migrate_parsetree.OCaml_403.Ast.Parsetree.expression, 'a, 'c) Ppx_core__.Ast_pattern0.t
val pexp_coerce : (Migrate_parsetree.OCaml_403.Ast.Parsetree.expression, 'a, 'b) Ppx_core__.Ast_pattern0.t -> (Migrate_parsetree.OCaml_403.Ast.Parsetree.core_type option, 'b, 'c) Ppx_core__.Ast_pattern0.t -> (Migrate_parsetree.OCaml_403.Ast.Parsetree.core_type, 'c, 'd) Ppx_core__.Ast_pattern0.t -> (Migrate_parsetree.OCaml_403.Ast.Parsetree.expression, 'a, 'd) Ppx_core__.Ast_pattern0.t
val pexp_send : (Migrate_parsetree.OCaml_403.Ast.Parsetree.expression, 'a, 'b) Ppx_core__.Ast_pattern0.t -> (string, 'b, 'c) Ppx_core__.Ast_pattern0.t -> (Migrate_parsetree.OCaml_403.Ast.Parsetree.expression, 'a, 'c) Ppx_core__.Ast_pattern0.t
val pexp_new : (Ocaml_common.Longident.t, 'a, 'b) Ppx_core__.Ast_pattern0.t -> (Migrate_parsetree.OCaml_403.Ast.Parsetree.expression, 'a, 'b) Ppx_core__.Ast_pattern0.t
val pexp_setinstvar : (string, 'a, 'b) Ppx_core__.Ast_pattern0.t -> (Migrate_parsetree.OCaml_403.Ast.Parsetree.expression, 'b, 'c) Ppx_core__.Ast_pattern0.t -> (Migrate_parsetree.OCaml_403.Ast.Parsetree.expression, 'a, 'c) Ppx_core__.Ast_pattern0.t
val pexp_override : ((string Ocaml_common.Location.loc * Migrate_parsetree.OCaml_403.Ast.Parsetree.expression) list, 'a, 'b) Ppx_core__.Ast_pattern0.t -> (Migrate_parsetree.OCaml_403.Ast.Parsetree.expression, 'a, 'b) Ppx_core__.Ast_pattern0.t
val pexp_letmodule : (string, 'a, 'b) Ppx_core__.Ast_pattern0.t -> (Migrate_parsetree.OCaml_403.Ast.Parsetree.module_expr, 'b, 'c) Ppx_core__.Ast_pattern0.t -> (Migrate_parsetree.OCaml_403.Ast.Parsetree.expression, 'c, 'd) Ppx_core__.Ast_pattern0.t -> (Migrate_parsetree.OCaml_403.Ast.Parsetree.expression, 'a, 'd) Ppx_core__.Ast_pattern0.t
val pexp_assert : (Migrate_parsetree.OCaml_403.Ast.Parsetree.expression, 'a, 'b) Ppx_core__.Ast_pattern0.t -> (Migrate_parsetree.OCaml_403.Ast.Parsetree.expression, 'a, 'b) Ppx_core__.Ast_pattern0.t
val pexp_lazy : (Migrate_parsetree.OCaml_403.Ast.Parsetree.expression, 'a, 'b) Ppx_core__.Ast_pattern0.t -> (Migrate_parsetree.OCaml_403.Ast.Parsetree.expression, 'a, 'b) Ppx_core__.Ast_pattern0.t
val pexp_poly : (Migrate_parsetree.OCaml_403.Ast.Parsetree.expression, 'a, 'b) Ppx_core__.Ast_pattern0.t -> (Migrate_parsetree.OCaml_403.Ast.Parsetree.core_type option, 'b, 'c) Ppx_core__.Ast_pattern0.t -> (Migrate_parsetree.OCaml_403.Ast.Parsetree.expression, 'a, 'c) Ppx_core__.Ast_pattern0.t
val pexp_object : (Migrate_parsetree.OCaml_403.Ast.Parsetree.class_structure, 'a, 'b) Ppx_core__.Ast_pattern0.t -> (Migrate_parsetree.OCaml_403.Ast.Parsetree.expression, 'a, 'b) Ppx_core__.Ast_pattern0.t
val pexp_newtype : (string, 'a, 'b) Ppx_core__.Ast_pattern0.t -> (Migrate_parsetree.OCaml_403.Ast.Parsetree.expression, 'b, 'c) Ppx_core__.Ast_pattern0.t -> (Migrate_parsetree.OCaml_403.Ast.Parsetree.expression, 'a, 'c) Ppx_core__.Ast_pattern0.t
val pexp_pack : (Migrate_parsetree.OCaml_403.Ast.Parsetree.module_expr, 'a, 'b) Ppx_core__.Ast_pattern0.t -> (Migrate_parsetree.OCaml_403.Ast.Parsetree.expression, 'a, 'b) Ppx_core__.Ast_pattern0.t
val pexp_open : (Migrate_parsetree.OCaml_403.Ast.Asttypes.override_flag, 'a, 'b) Ppx_core__.Ast_pattern0.t -> (Ocaml_common.Longident.t, 'b, 'c) Ppx_core__.Ast_pattern0.t -> (Migrate_parsetree.OCaml_403.Ast.Parsetree.expression, 'c, 'd) Ppx_core__.Ast_pattern0.t -> (Migrate_parsetree.OCaml_403.Ast.Parsetree.expression, 'a, 'd) Ppx_core__.Ast_pattern0.t
val pexp_extension : (string Ocaml_common.Location.loc * Migrate_parsetree.OCaml_403.Ast.Parsetree.payload, 'a, 'b) Ppx_core__.Ast_pattern0.t -> (Migrate_parsetree.OCaml_403.Ast.Parsetree.expression, 'a, 'b) Ppx_core__.Ast_pattern0.t
val pexp_unreachable : (Migrate_parsetree.OCaml_403.Ast.Parsetree.expression, 'a, 'a) Ppx_core__.Ast_pattern0.t
val extension_constructor_attributes : ((string Ocaml_common.Location.loc * Migrate_parsetree.OCaml_403.Ast.Parsetree.payload) list, 'a, 'b) Ppx_core__.Ast_pattern0.t -> (Migrate_parsetree.OCaml_403.Ast.Parsetree.extension_constructor, 'b, 'c) Ppx_core__.Ast_pattern0.t -> (Migrate_parsetree.OCaml_403.Ast.Parsetree.extension_constructor, 'a, 'c) Ppx_core__.Ast_pattern0.t
val extension_constructor : name:(string, 'a, 'b) Ppx_core__.Ast_pattern0.t -> kind: (Migrate_parsetree.OCaml_403.Ast.Parsetree.extension_constructor_kind, 'b, 'c) Ppx_core__.Ast_pattern0.t -> (Migrate_parsetree.OCaml_403.Ast.Parsetree.extension_constructor, 'a, 'c) Ppx_core__.Ast_pattern0.t
val pext_decl : (Migrate_parsetree.OCaml_403.Ast.Parsetree.constructor_arguments, 'a, 'b) Ppx_core__.Ast_pattern0.t -> (Migrate_parsetree.OCaml_403.Ast.Parsetree.core_type option, 'b, 'c) Ppx_core__.Ast_pattern0.t -> (Migrate_parsetree.OCaml_403.Ast.Parsetree.extension_constructor_kind, 'a, 'c) Ppx_core__.Ast_pattern0.t
val pext_rebind : (Ocaml_common.Longident.t, 'a, 'b) Ppx_core__.Ast_pattern0.t -> (Migrate_parsetree.OCaml_403.Ast.Parsetree.extension_constructor_kind, 'a, 'b) Ppx_core__.Ast_pattern0.t
val include_infos_attributes : ((string Ocaml_common.Location.loc * Migrate_parsetree.OCaml_403.Ast.Parsetree.payload) list, 'a, 'b) Ppx_core__.Ast_pattern0.t -> ('c Migrate_parsetree.OCaml_403.Ast.Parsetree.include_infos, 'b, 'd) Ppx_core__.Ast_pattern0.t -> ('c Migrate_parsetree.OCaml_403.Ast.Parsetree.include_infos, 'a, 'd) Ppx_core__.Ast_pattern0.t
val include_infos : mod_:('a, 'b, 'c) Ppx_core__.Ast_pattern0.t -> ('a Migrate_parsetree.OCaml_403.Ast.Parsetree.include_infos, 'b, 'c) Ppx_core__.Ast_pattern0.t
val label_declaration_attributes : ((string Ocaml_common.Location.loc * Migrate_parsetree.OCaml_403.Ast.Parsetree.payload) list, 'a, 'b) Ppx_core__.Ast_pattern0.t -> (Migrate_parsetree.OCaml_403.Ast.Parsetree.label_declaration, 'b, 'c) Ppx_core__.Ast_pattern0.t -> (Migrate_parsetree.OCaml_403.Ast.Parsetree.label_declaration, 'a, 'c) Ppx_core__.Ast_pattern0.t
val label_declaration : name:(string, 'a, 'b) Ppx_core__.Ast_pattern0.t -> mutable_: (Migrate_parsetree.OCaml_403.Ast.Asttypes.mutable_flag, 'b, 'c) Ppx_core__.Ast_pattern0.t -> type_: (Migrate_parsetree.OCaml_403.Ast.Parsetree.core_type, 'c, 'd) Ppx_core__.Ast_pattern0.t -> (Migrate_parsetree.OCaml_403.Ast.Parsetree.label_declaration, 'a, 'd) Ppx_core__.Ast_pattern0.t
val location : start:(Lexing.position, 'a, 'b) Ppx_core__.Ast_pattern0.t -> end_:(Lexing.position, 'b, 'c) Ppx_core__.Ast_pattern0.t -> ghost:(bool, 'c, 'd) Ppx_core__.Ast_pattern0.t -> (Ocaml_common.Location.t, 'a, 'd) Ppx_core__.Ast_pattern0.t
val lident : (string, 'a, 'b) Ppx_core__.Ast_pattern0.t -> (Ocaml_common.Longident.t, 'a, 'b) Ppx_core__.Ast_pattern0.t
val ldot : (Ocaml_common.Longident.t, 'a, 'b) Ppx_core__.Ast_pattern0.t -> (string, 'b, 'c) Ppx_core__.Ast_pattern0.t -> (Ocaml_common.Longident.t, 'a, 'c) Ppx_core__.Ast_pattern0.t
val lapply : (Ocaml_common.Longident.t, 'a, 'b) Ppx_core__.Ast_pattern0.t -> (Ocaml_common.Longident.t, 'b, 'c) Ppx_core__.Ast_pattern0.t -> (Ocaml_common.Longident.t, 'a, 'c) Ppx_core__.Ast_pattern0.t
val module_binding_attributes : ((string Ocaml_common.Location.loc * Migrate_parsetree.OCaml_403.Ast.Parsetree.payload) list, 'a, 'b) Ppx_core__.Ast_pattern0.t -> (Migrate_parsetree.OCaml_403.Ast.Parsetree.module_binding, 'b, 'c) Ppx_core__.Ast_pattern0.t -> (Migrate_parsetree.OCaml_403.Ast.Parsetree.module_binding, 'a, 'c) Ppx_core__.Ast_pattern0.t
val module_binding : name:(string, 'a, 'b) Ppx_core__.Ast_pattern0.t -> expr: (Migrate_parsetree.OCaml_403.Ast.Parsetree.module_expr, 'b, 'c) Ppx_core__.Ast_pattern0.t -> (Migrate_parsetree.OCaml_403.Ast.Parsetree.module_binding, 'a, 'c) Ppx_core__.Ast_pattern0.t
val module_declaration_attributes : ((string Ocaml_common.Location.loc * Migrate_parsetree.OCaml_403.Ast.Parsetree.payload) list, 'a, 'b) Ppx_core__.Ast_pattern0.t -> (Migrate_parsetree.OCaml_403.Ast.Parsetree.module_declaration, 'b, 'c) Ppx_core__.Ast_pattern0.t -> (Migrate_parsetree.OCaml_403.Ast.Parsetree.module_declaration, 'a, 'c) Ppx_core__.Ast_pattern0.t
val module_declaration : name:(string, 'a, 'b) Ppx_core__.Ast_pattern0.t -> type_: (Migrate_parsetree.OCaml_403.Ast.Parsetree.module_type, 'b, 'c) Ppx_core__.Ast_pattern0.t -> (Migrate_parsetree.OCaml_403.Ast.Parsetree.module_declaration, 'a, 'c) Ppx_core__.Ast_pattern0.t
val pmod_loc : (Ocaml_common.Location.t, 'a, 'b) Ppx_core__.Ast_pattern0.t -> (Migrate_parsetree.OCaml_403.Ast.Parsetree.module_expr, 'b, 'c) Ppx_core__.Ast_pattern0.t -> (Migrate_parsetree.OCaml_403.Ast.Parsetree.module_expr, 'a, 'c) Ppx_core__.Ast_pattern0.t
val pmod_attributes : ((string Ocaml_common.Location.loc * Migrate_parsetree.OCaml_403.Ast.Parsetree.payload) list, 'a, 'b) Ppx_core__.Ast_pattern0.t -> (Migrate_parsetree.OCaml_403.Ast.Parsetree.module_expr, 'b, 'c) Ppx_core__.Ast_pattern0.t -> (Migrate_parsetree.OCaml_403.Ast.Parsetree.module_expr, 'a, 'c) Ppx_core__.Ast_pattern0.t
val pmod_ident : (Ocaml_common.Longident.t, 'a, 'b) Ppx_core__.Ast_pattern0.t -> (Migrate_parsetree.OCaml_403.Ast.Parsetree.module_expr, 'a, 'b) Ppx_core__.Ast_pattern0.t
val pmod_structure : (Migrate_parsetree.OCaml_403.Ast.Parsetree.structure_item list, 'a, 'b) Ppx_core__.Ast_pattern0.t -> (Migrate_parsetree.OCaml_403.Ast.Parsetree.module_expr, 'a, 'b) Ppx_core__.Ast_pattern0.t
val pmod_functor : (string, 'a, 'b) Ppx_core__.Ast_pattern0.t -> (Migrate_parsetree.OCaml_403.Ast.Parsetree.module_type option, 'b, 'c) Ppx_core__.Ast_pattern0.t -> (Migrate_parsetree.OCaml_403.Ast.Parsetree.module_expr, 'c, 'd) Ppx_core__.Ast_pattern0.t -> (Migrate_parsetree.OCaml_403.Ast.Parsetree.module_expr, 'a, 'd) Ppx_core__.Ast_pattern0.t
val pmod_apply : (Migrate_parsetree.OCaml_403.Ast.Parsetree.module_expr, 'a, 'b) Ppx_core__.Ast_pattern0.t -> (Migrate_parsetree.OCaml_403.Ast.Parsetree.module_expr, 'b, 'c) Ppx_core__.Ast_pattern0.t -> (Migrate_parsetree.OCaml_403.Ast.Parsetree.module_expr, 'a, 'c) Ppx_core__.Ast_pattern0.t
val pmod_constraint : (Migrate_parsetree.OCaml_403.Ast.Parsetree.module_expr, 'a, 'b) Ppx_core__.Ast_pattern0.t -> (Migrate_parsetree.OCaml_403.Ast.Parsetree.module_type, 'b, 'c) Ppx_core__.Ast_pattern0.t -> (Migrate_parsetree.OCaml_403.Ast.Parsetree.module_expr, 'a, 'c) Ppx_core__.Ast_pattern0.t
val pmod_unpack : (Migrate_parsetree.OCaml_403.Ast.Parsetree.expression, 'a, 'b) Ppx_core__.Ast_pattern0.t -> (Migrate_parsetree.OCaml_403.Ast.Parsetree.module_expr, 'a, 'b) Ppx_core__.Ast_pattern0.t
val pmod_extension : (string Ocaml_common.Location.loc * Migrate_parsetree.OCaml_403.Ast.Parsetree.payload, 'a, 'b) Ppx_core__.Ast_pattern0.t -> (Migrate_parsetree.OCaml_403.Ast.Parsetree.module_expr, 'a, 'b) Ppx_core__.Ast_pattern0.t
val pmty_loc : (Ocaml_common.Location.t, 'a, 'b) Ppx_core__.Ast_pattern0.t -> (Migrate_parsetree.OCaml_403.Ast.Parsetree.module_type, 'b, 'c) Ppx_core__.Ast_pattern0.t -> (Migrate_parsetree.OCaml_403.Ast.Parsetree.module_type, 'a, 'c) Ppx_core__.Ast_pattern0.t
val pmty_attributes : ((string Ocaml_common.Location.loc * Migrate_parsetree.OCaml_403.Ast.Parsetree.payload) list, 'a, 'b) Ppx_core__.Ast_pattern0.t -> (Migrate_parsetree.OCaml_403.Ast.Parsetree.module_type, 'b, 'c) Ppx_core__.Ast_pattern0.t -> (Migrate_parsetree.OCaml_403.Ast.Parsetree.module_type, 'a, 'c) Ppx_core__.Ast_pattern0.t
val pmty_ident : (Ocaml_common.Longident.t, 'a, 'b) Ppx_core__.Ast_pattern0.t -> (Migrate_parsetree.OCaml_403.Ast.Parsetree.module_type, 'a, 'b) Ppx_core__.Ast_pattern0.t
val pmty_signature : (Migrate_parsetree.OCaml_403.Ast.Parsetree.signature_item list, 'a, 'b) Ppx_core__.Ast_pattern0.t -> (Migrate_parsetree.OCaml_403.Ast.Parsetree.module_type, 'a, 'b) Ppx_core__.Ast_pattern0.t
val pmty_functor : (string, 'a, 'b) Ppx_core__.Ast_pattern0.t -> (Migrate_parsetree.OCaml_403.Ast.Parsetree.module_type option, 'b, 'c) Ppx_core__.Ast_pattern0.t -> (Migrate_parsetree.OCaml_403.Ast.Parsetree.module_type, 'c, 'd) Ppx_core__.Ast_pattern0.t -> (Migrate_parsetree.OCaml_403.Ast.Parsetree.module_type, 'a, 'd) Ppx_core__.Ast_pattern0.t
val pmty_with : (Migrate_parsetree.OCaml_403.Ast.Parsetree.module_type, 'a, 'b) Ppx_core__.Ast_pattern0.t -> (Migrate_parsetree.OCaml_403.Ast.Parsetree.with_constraint list, 'b, 'c) Ppx_core__.Ast_pattern0.t -> (Migrate_parsetree.OCaml_403.Ast.Parsetree.module_type, 'a, 'c) Ppx_core__.Ast_pattern0.t
val pmty_typeof : (Migrate_parsetree.OCaml_403.Ast.Parsetree.module_expr, 'a, 'b) Ppx_core__.Ast_pattern0.t -> (Migrate_parsetree.OCaml_403.Ast.Parsetree.module_type, 'a, 'b) Ppx_core__.Ast_pattern0.t
val pmty_extension : (string Ocaml_common.Location.loc * Migrate_parsetree.OCaml_403.Ast.Parsetree.payload, 'a, 'b) Ppx_core__.Ast_pattern0.t -> (Migrate_parsetree.OCaml_403.Ast.Parsetree.module_type, 'a, 'b) Ppx_core__.Ast_pattern0.t
val pmty_alias : (Ocaml_common.Longident.t, 'a, 'b) Ppx_core__.Ast_pattern0.t -> (Migrate_parsetree.OCaml_403.Ast.Parsetree.module_type, 'a, 'b) Ppx_core__.Ast_pattern0.t
val module_type_declaration_attributes : ((string Ocaml_common.Location.loc * Migrate_parsetree.OCaml_403.Ast.Parsetree.payload) list, 'a, 'b) Ppx_core__.Ast_pattern0.t -> (Migrate_parsetree.OCaml_403.Ast.Parsetree.module_type_declaration, 'b, 'c) Ppx_core__.Ast_pattern0.t -> (Migrate_parsetree.OCaml_403.Ast.Parsetree.module_type_declaration, 'a, 'c) Ppx_core__.Ast_pattern0.t
val module_type_declaration : name:(string, 'a, 'b) Ppx_core__.Ast_pattern0.t -> type_: (Migrate_parsetree.OCaml_403.Ast.Parsetree.module_type option, 'b, 'c) Ppx_core__.Ast_pattern0.t -> (Migrate_parsetree.OCaml_403.Ast.Parsetree.module_type_declaration, 'a, 'c) Ppx_core__.Ast_pattern0.t
val immutable : (Migrate_parsetree.OCaml_403.Ast.Asttypes.mutable_flag, 'a, 'a) Ppx_core__.Ast_pattern0.t
val mutable_ : (Migrate_parsetree.OCaml_403.Ast.Asttypes.mutable_flag, 'a, 'a) Ppx_core__.Ast_pattern0.t
val open_description_attributes : ((string Ocaml_common.Location.loc * Migrate_parsetree.OCaml_403.Ast.Parsetree.payload) list, 'a, 'b) Ppx_core__.Ast_pattern0.t -> (Migrate_parsetree.OCaml_403.Ast.Parsetree.open_description, 'b, 'c) Ppx_core__.Ast_pattern0.t -> (Migrate_parsetree.OCaml_403.Ast.Parsetree.open_description, 'a, 'c) Ppx_core__.Ast_pattern0.t
val open_description : lid:(Ocaml_common.Longident.t, 'a, 'b) Ppx_core__.Ast_pattern0.t -> override: (Migrate_parsetree.OCaml_403.Ast.Asttypes.override_flag, 'b, 'c) Ppx_core__.Ast_pattern0.t -> (Migrate_parsetree.OCaml_403.Ast.Parsetree.open_description, 'a, 'c) Ppx_core__.Ast_pattern0.t
val override : (Migrate_parsetree.OCaml_403.Ast.Asttypes.override_flag, 'a, 'a) Ppx_core__.Ast_pattern0.t
val fresh : (Migrate_parsetree.OCaml_403.Ast.Asttypes.override_flag, 'a, 'a) Ppx_core__.Ast_pattern0.t
val ppat_loc : (Ocaml_common.Location.t, 'a, 'b) Ppx_core__.Ast_pattern0.t -> (Migrate_parsetree.OCaml_403.Ast.Parsetree.pattern, 'b, 'c) Ppx_core__.Ast_pattern0.t -> (Migrate_parsetree.OCaml_403.Ast.Parsetree.pattern, 'a, 'c) Ppx_core__.Ast_pattern0.t
val ppat_attributes : ((string Ocaml_common.Location.loc * Migrate_parsetree.OCaml_403.Ast.Parsetree.payload) list, 'a, 'b) Ppx_core__.Ast_pattern0.t -> (Migrate_parsetree.OCaml_403.Ast.Parsetree.pattern, 'b, 'c) Ppx_core__.Ast_pattern0.t -> (Migrate_parsetree.OCaml_403.Ast.Parsetree.pattern, 'a, 'c) Ppx_core__.Ast_pattern0.t
val ppat_any : (Migrate_parsetree.OCaml_403.Ast.Parsetree.pattern, 'a, 'a) Ppx_core__.Ast_pattern0.t
val ppat_var : (string, 'a, 'b) Ppx_core__.Ast_pattern0.t -> (Migrate_parsetree.OCaml_403.Ast.Parsetree.pattern, 'a, 'b) Ppx_core__.Ast_pattern0.t
val ppat_alias : (Migrate_parsetree.OCaml_403.Ast.Parsetree.pattern, 'a, 'b) Ppx_core__.Ast_pattern0.t -> (string, 'b, 'c) Ppx_core__.Ast_pattern0.t -> (Migrate_parsetree.OCaml_403.Ast.Parsetree.pattern, 'a, 'c) Ppx_core__.Ast_pattern0.t
val ppat_constant : (Migrate_parsetree.OCaml_403.Ast.Parsetree.constant, 'a, 'b) Ppx_core__.Ast_pattern0.t -> (Migrate_parsetree.OCaml_403.Ast.Parsetree.pattern, 'a, 'b) Ppx_core__.Ast_pattern0.t
val ppat_interval : (Migrate_parsetree.OCaml_403.Ast.Parsetree.constant, 'a, 'b) Ppx_core__.Ast_pattern0.t -> (Migrate_parsetree.OCaml_403.Ast.Parsetree.constant, 'b, 'c) Ppx_core__.Ast_pattern0.t -> (Migrate_parsetree.OCaml_403.Ast.Parsetree.pattern, 'a, 'c) Ppx_core__.Ast_pattern0.t
val ppat_tuple : (Migrate_parsetree.OCaml_403.Ast.Parsetree.pattern list, 'a, 'b) Ppx_core__.Ast_pattern0.t -> (Migrate_parsetree.OCaml_403.Ast.Parsetree.pattern, 'a, 'b) Ppx_core__.Ast_pattern0.t
val ppat_construct : (Ocaml_common.Longident.t, 'a, 'b) Ppx_core__.Ast_pattern0.t -> (Migrate_parsetree.OCaml_403.Ast.Parsetree.pattern option, 'b, 'c) Ppx_core__.Ast_pattern0.t -> (Migrate_parsetree.OCaml_403.Ast.Parsetree.pattern, 'a, 'c) Ppx_core__.Ast_pattern0.t
val ppat_variant : (string, 'a, 'b) Ppx_core__.Ast_pattern0.t -> (Migrate_parsetree.OCaml_403.Ast.Parsetree.pattern option, 'b, 'c) Ppx_core__.Ast_pattern0.t -> (Migrate_parsetree.OCaml_403.Ast.Parsetree.pattern, 'a, 'c) Ppx_core__.Ast_pattern0.t
val ppat_record : ((Ocaml_common.Longident.t Ocaml_common.Location.loc * Migrate_parsetree.OCaml_403.Ast.Parsetree.pattern) list, 'a, 'b) Ppx_core__.Ast_pattern0.t -> (Migrate_parsetree.OCaml_403.Ast.Asttypes.closed_flag, 'b, 'c) Ppx_core__.Ast_pattern0.t -> (Migrate_parsetree.OCaml_403.Ast.Parsetree.pattern, 'a, 'c) Ppx_core__.Ast_pattern0.t
val ppat_array : (Migrate_parsetree.OCaml_403.Ast.Parsetree.pattern list, 'a, 'b) Ppx_core__.Ast_pattern0.t -> (Migrate_parsetree.OCaml_403.Ast.Parsetree.pattern, 'a, 'b) Ppx_core__.Ast_pattern0.t
val ppat_or : (Migrate_parsetree.OCaml_403.Ast.Parsetree.pattern, 'a, 'b) Ppx_core__.Ast_pattern0.t -> (Migrate_parsetree.OCaml_403.Ast.Parsetree.pattern, 'b, 'c) Ppx_core__.Ast_pattern0.t -> (Migrate_parsetree.OCaml_403.Ast.Parsetree.pattern, 'a, 'c) Ppx_core__.Ast_pattern0.t
val ppat_constraint : (Migrate_parsetree.OCaml_403.Ast.Parsetree.pattern, 'a, 'b) Ppx_core__.Ast_pattern0.t -> (Migrate_parsetree.OCaml_403.Ast.Parsetree.core_type, 'b, 'c) Ppx_core__.Ast_pattern0.t -> (Migrate_parsetree.OCaml_403.Ast.Parsetree.pattern, 'a, 'c) Ppx_core__.Ast_pattern0.t
val ppat_type : (Ocaml_common.Longident.t, 'a, 'b) Ppx_core__.Ast_pattern0.t -> (Migrate_parsetree.OCaml_403.Ast.Parsetree.pattern, 'a, 'b) Ppx_core__.Ast_pattern0.t
val ppat_lazy : (Migrate_parsetree.OCaml_403.Ast.Parsetree.pattern, 'a, 'b) Ppx_core__.Ast_pattern0.t -> (Migrate_parsetree.OCaml_403.Ast.Parsetree.pattern, 'a, 'b) Ppx_core__.Ast_pattern0.t
val ppat_unpack : (string, 'a, 'b) Ppx_core__.Ast_pattern0.t -> (Migrate_parsetree.OCaml_403.Ast.Parsetree.pattern, 'a, 'b) Ppx_core__.Ast_pattern0.t
val ppat_exception : (Migrate_parsetree.OCaml_403.Ast.Parsetree.pattern, 'a, 'b) Ppx_core__.Ast_pattern0.t -> (Migrate_parsetree.OCaml_403.Ast.Parsetree.pattern, 'a, 'b) Ppx_core__.Ast_pattern0.t
val ppat_extension : (string Ocaml_common.Location.loc * Migrate_parsetree.OCaml_403.Ast.Parsetree.payload, 'a, 'b) Ppx_core__.Ast_pattern0.t -> (Migrate_parsetree.OCaml_403.Ast.Parsetree.pattern, 'a, 'b) Ppx_core__.Ast_pattern0.t
val pstr : (Migrate_parsetree.OCaml_403.Ast.Parsetree.structure_item list, 'a, 'b) Ppx_core__.Ast_pattern0.t -> (Migrate_parsetree.OCaml_403.Ast.Parsetree.payload, 'a, 'b) Ppx_core__.Ast_pattern0.t
val psig : (Migrate_parsetree.OCaml_403.Ast.Parsetree.signature_item list, 'a, 'b) Ppx_core__.Ast_pattern0.t -> (Migrate_parsetree.OCaml_403.Ast.Parsetree.payload, 'a, 'b) Ppx_core__.Ast_pattern0.t
val ptyp : (Migrate_parsetree.OCaml_403.Ast.Parsetree.core_type, 'a, 'b) Ppx_core__.Ast_pattern0.t -> (Migrate_parsetree.OCaml_403.Ast.Parsetree.payload, 'a, 'b) Ppx_core__.Ast_pattern0.t
val ppat : (Migrate_parsetree.OCaml_403.Ast.Parsetree.pattern, 'a, 'b) Ppx_core__.Ast_pattern0.t -> (Migrate_parsetree.OCaml_403.Ast.Parsetree.expression option, 'b, 'c) Ppx_core__.Ast_pattern0.t -> (Migrate_parsetree.OCaml_403.Ast.Parsetree.payload, 'a, 'c) Ppx_core__.Ast_pattern0.t
val position : fname:(string, 'a, 'b) Ppx_core__.Ast_pattern0.t -> lnum:(int, 'b, 'c) Ppx_core__.Ast_pattern0.t -> bol:(int, 'c, 'd) Ppx_core__.Ast_pattern0.t -> cnum:(int, 'd, 'e) Ppx_core__.Ast_pattern0.t -> (Lexing.position, 'a, 'e) Ppx_core__.Ast_pattern0.t
val private_ : (Migrate_parsetree.OCaml_403.Ast.Asttypes.private_flag, 'a, 'a) Ppx_core__.Ast_pattern0.t
val public : (Migrate_parsetree.OCaml_403.Ast.Asttypes.private_flag, 'a, 'a) Ppx_core__.Ast_pattern0.t
val nonrecursive : (Migrate_parsetree.OCaml_403.Ast.Asttypes.rec_flag, 'a, 'a) Ppx_core__.Ast_pattern0.t
val recursive : (Migrate_parsetree.OCaml_403.Ast.Asttypes.rec_flag, 'a, 'a) Ppx_core__.Ast_pattern0.t
val rtag : (string, 'a, 'b) Ppx_core__.Ast_pattern0.t -> ((string Ocaml_common.Location.loc * Migrate_parsetree.OCaml_403.Ast.Parsetree.payload) list, 'b, 'c) Ppx_core__.Ast_pattern0.t -> (bool, 'c, 'd) Ppx_core__.Ast_pattern0.t -> (Migrate_parsetree.OCaml_403.Ast.Parsetree.core_type list, 'd, 'e) Ppx_core__.Ast_pattern0.t -> (Migrate_parsetree.OCaml_403.Ast.Parsetree.row_field, 'a, 'e) Ppx_core__.Ast_pattern0.t
val rinherit : (Migrate_parsetree.OCaml_403.Ast.Parsetree.core_type, 'a, 'b) Ppx_core__.Ast_pattern0.t -> (Migrate_parsetree.OCaml_403.Ast.Parsetree.row_field, 'a, 'b) Ppx_core__.Ast_pattern0.t
val psig_loc : (Ocaml_common.Location.t, 'a, 'b) Ppx_core__.Ast_pattern0.t -> (Migrate_parsetree.OCaml_403.Ast.Parsetree.signature_item, 'b, 'c) Ppx_core__.Ast_pattern0.t -> (Migrate_parsetree.OCaml_403.Ast.Parsetree.signature_item, 'a, 'c) Ppx_core__.Ast_pattern0.t
val psig_value : (Migrate_parsetree.OCaml_403.Ast.Parsetree.value_description, 'a, 'b) Ppx_core__.Ast_pattern0.t -> (Migrate_parsetree.OCaml_403.Ast.Parsetree.signature_item, 'a, 'b) Ppx_core__.Ast_pattern0.t
val psig_type : (Migrate_parsetree.OCaml_403.Ast.Asttypes.rec_flag, 'a, 'b) Ppx_core__.Ast_pattern0.t -> (Migrate_parsetree.OCaml_403.Ast.Parsetree.type_declaration list, 'b, 'c) Ppx_core__.Ast_pattern0.t -> (Migrate_parsetree.OCaml_403.Ast.Parsetree.signature_item, 'a, 'c) Ppx_core__.Ast_pattern0.t
val psig_typext : (Migrate_parsetree.OCaml_403.Ast.Parsetree.type_extension, 'a, 'b) Ppx_core__.Ast_pattern0.t -> (Migrate_parsetree.OCaml_403.Ast.Parsetree.signature_item, 'a, 'b) Ppx_core__.Ast_pattern0.t
val psig_exception : (Migrate_parsetree.OCaml_403.Ast.Parsetree.extension_constructor, 'a, 'b) Ppx_core__.Ast_pattern0.t -> (Migrate_parsetree.OCaml_403.Ast.Parsetree.signature_item, 'a, 'b) Ppx_core__.Ast_pattern0.t
val psig_module : (Migrate_parsetree.OCaml_403.Ast.Parsetree.module_declaration, 'a, 'b) Ppx_core__.Ast_pattern0.t -> (Migrate_parsetree.OCaml_403.Ast.Parsetree.signature_item, 'a, 'b) Ppx_core__.Ast_pattern0.t
val psig_recmodule : (Migrate_parsetree.OCaml_403.Ast.Parsetree.module_declaration list, 'a, 'b) Ppx_core__.Ast_pattern0.t -> (Migrate_parsetree.OCaml_403.Ast.Parsetree.signature_item, 'a, 'b) Ppx_core__.Ast_pattern0.t
val psig_modtype : (Migrate_parsetree.OCaml_403.Ast.Parsetree.module_type_declaration, 'a, 'b) Ppx_core__.Ast_pattern0.t -> (Migrate_parsetree.OCaml_403.Ast.Parsetree.signature_item, 'a, 'b) Ppx_core__.Ast_pattern0.t
val psig_open : (Migrate_parsetree.OCaml_403.Ast.Parsetree.open_description, 'a, 'b) Ppx_core__.Ast_pattern0.t -> (Migrate_parsetree.OCaml_403.Ast.Parsetree.signature_item, 'a, 'b) Ppx_core__.Ast_pattern0.t
val psig_attribute : (string Ocaml_common.Location.loc * Migrate_parsetree.OCaml_403.Ast.Parsetree.payload, 'a, 'b) Ppx_core__.Ast_pattern0.t -> (Migrate_parsetree.OCaml_403.Ast.Parsetree.signature_item, 'a, 'b) Ppx_core__.Ast_pattern0.t
val psig_extension : (string Ocaml_common.Location.loc * Migrate_parsetree.OCaml_403.Ast.Parsetree.payload, 'a, 'b) Ppx_core__.Ast_pattern0.t -> ((string Ocaml_common.Location.loc * Migrate_parsetree.OCaml_403.Ast.Parsetree.payload) list, 'b, 'c) Ppx_core__.Ast_pattern0.t -> (Migrate_parsetree.OCaml_403.Ast.Parsetree.signature_item, 'a, 'c) Ppx_core__.Ast_pattern0.t
val pstr_loc : (Ocaml_common.Location.t, 'a, 'b) Ppx_core__.Ast_pattern0.t -> (Migrate_parsetree.OCaml_403.Ast.Parsetree.structure_item, 'b, 'c) Ppx_core__.Ast_pattern0.t -> (Migrate_parsetree.OCaml_403.Ast.Parsetree.structure_item, 'a, 'c) Ppx_core__.Ast_pattern0.t
val pstr_eval : (Migrate_parsetree.OCaml_403.Ast.Parsetree.expression, 'a, 'b) Ppx_core__.Ast_pattern0.t -> ((string Ocaml_common.Location.loc * Migrate_parsetree.OCaml_403.Ast.Parsetree.payload) list, 'b, 'c) Ppx_core__.Ast_pattern0.t -> (Migrate_parsetree.OCaml_403.Ast.Parsetree.structure_item, 'a, 'c) Ppx_core__.Ast_pattern0.t
val pstr_value : (Migrate_parsetree.OCaml_403.Ast.Asttypes.rec_flag, 'a, 'b) Ppx_core__.Ast_pattern0.t -> (Migrate_parsetree.OCaml_403.Ast.Parsetree.value_binding list, 'b, 'c) Ppx_core__.Ast_pattern0.t -> (Migrate_parsetree.OCaml_403.Ast.Parsetree.structure_item, 'a, 'c) Ppx_core__.Ast_pattern0.t
val pstr_primitive : (Migrate_parsetree.OCaml_403.Ast.Parsetree.value_description, 'a, 'b) Ppx_core__.Ast_pattern0.t -> (Migrate_parsetree.OCaml_403.Ast.Parsetree.structure_item, 'a, 'b) Ppx_core__.Ast_pattern0.t
val pstr_type : (Migrate_parsetree.OCaml_403.Ast.Asttypes.rec_flag, 'a, 'b) Ppx_core__.Ast_pattern0.t -> (Migrate_parsetree.OCaml_403.Ast.Parsetree.type_declaration list, 'b, 'c) Ppx_core__.Ast_pattern0.t -> (Migrate_parsetree.OCaml_403.Ast.Parsetree.structure_item, 'a, 'c) Ppx_core__.Ast_pattern0.t
val pstr_typext : (Migrate_parsetree.OCaml_403.Ast.Parsetree.type_extension, 'a, 'b) Ppx_core__.Ast_pattern0.t -> (Migrate_parsetree.OCaml_403.Ast.Parsetree.structure_item, 'a, 'b) Ppx_core__.Ast_pattern0.t
val pstr_exception : (Migrate_parsetree.OCaml_403.Ast.Parsetree.extension_constructor, 'a, 'b) Ppx_core__.Ast_pattern0.t -> (Migrate_parsetree.OCaml_403.Ast.Parsetree.structure_item, 'a, 'b) Ppx_core__.Ast_pattern0.t
val pstr_module : (Migrate_parsetree.OCaml_403.Ast.Parsetree.module_binding, 'a, 'b) Ppx_core__.Ast_pattern0.t -> (Migrate_parsetree.OCaml_403.Ast.Parsetree.structure_item, 'a, 'b) Ppx_core__.Ast_pattern0.t
val pstr_recmodule : (Migrate_parsetree.OCaml_403.Ast.Parsetree.module_binding list, 'a, 'b) Ppx_core__.Ast_pattern0.t -> (Migrate_parsetree.OCaml_403.Ast.Parsetree.structure_item, 'a, 'b) Ppx_core__.Ast_pattern0.t
val pstr_modtype : (Migrate_parsetree.OCaml_403.Ast.Parsetree.module_type_declaration, 'a, 'b) Ppx_core__.Ast_pattern0.t -> (Migrate_parsetree.OCaml_403.Ast.Parsetree.structure_item, 'a, 'b) Ppx_core__.Ast_pattern0.t
val pstr_open : (Migrate_parsetree.OCaml_403.Ast.Parsetree.open_description, 'a, 'b) Ppx_core__.Ast_pattern0.t -> (Migrate_parsetree.OCaml_403.Ast.Parsetree.structure_item, 'a, 'b) Ppx_core__.Ast_pattern0.t
val pstr_attribute : (string Ocaml_common.Location.loc * Migrate_parsetree.OCaml_403.Ast.Parsetree.payload, 'a, 'b) Ppx_core__.Ast_pattern0.t -> (Migrate_parsetree.OCaml_403.Ast.Parsetree.structure_item, 'a, 'b) Ppx_core__.Ast_pattern0.t
val pstr_extension : (string Ocaml_common.Location.loc * Migrate_parsetree.OCaml_403.Ast.Parsetree.payload, 'a, 'b) Ppx_core__.Ast_pattern0.t -> ((string Ocaml_common.Location.loc * Migrate_parsetree.OCaml_403.Ast.Parsetree.payload) list, 'b, 'c) Ppx_core__.Ast_pattern0.t -> (Migrate_parsetree.OCaml_403.Ast.Parsetree.structure_item, 'a, 'c) Ppx_core__.Ast_pattern0.t
val ptop_def : (Migrate_parsetree.OCaml_403.Ast.Parsetree.structure_item list, 'a, 'b) Ppx_core__.Ast_pattern0.t -> (Migrate_parsetree.OCaml_403.Ast.Parsetree.toplevel_phrase, 'a, 'b) Ppx_core__.Ast_pattern0.t
val ptop_dir : (string, 'a, 'b) Ppx_core__.Ast_pattern0.t -> (Migrate_parsetree.OCaml_403.Ast.Parsetree.directive_argument, 'b, 'c) Ppx_core__.Ast_pattern0.t -> (Migrate_parsetree.OCaml_403.Ast.Parsetree.toplevel_phrase, 'a, 'c) Ppx_core__.Ast_pattern0.t
val type_declaration_attributes : ((string Ocaml_common.Location.loc * Migrate_parsetree.OCaml_403.Ast.Parsetree.payload) list, 'a, 'b) Ppx_core__.Ast_pattern0.t -> (Migrate_parsetree.OCaml_403.Ast.Parsetree.type_declaration, 'b, 'c) Ppx_core__.Ast_pattern0.t -> (Migrate_parsetree.OCaml_403.Ast.Parsetree.type_declaration, 'a, 'c) Ppx_core__.Ast_pattern0.t
val type_declaration : name:(string, 'a, 'b) Ppx_core__.Ast_pattern0.t -> params: ((Migrate_parsetree.OCaml_403.Ast.Parsetree.core_type * Migrate_parsetree.OCaml_403.Ast.Asttypes.variance) list, 'b, 'c) Ppx_core__.Ast_pattern0.t -> cstrs: ((Migrate_parsetree.OCaml_403.Ast.Parsetree.core_type * Migrate_parsetree.OCaml_403.Ast.Parsetree.core_type * Ocaml_common.Location.t) list, 'c, 'd) Ppx_core__.Ast_pattern0.t -> kind: (Migrate_parsetree.OCaml_403.Ast.Parsetree.type_kind, 'd, 'e) Ppx_core__.Ast_pattern0.t -> private_: (Migrate_parsetree.OCaml_403.Ast.Asttypes.private_flag, 'e, 'f) Ppx_core__.Ast_pattern0.t -> manifest: (Migrate_parsetree.OCaml_403.Ast.Parsetree.core_type option, 'f, 'g) Ppx_core__.Ast_pattern0.t -> (Migrate_parsetree.OCaml_403.Ast.Parsetree.type_declaration, 'a, 'g) Ppx_core__.Ast_pattern0.t
val type_extension_attributes : ((string Ocaml_common.Location.loc * Migrate_parsetree.OCaml_403.Ast.Parsetree.payload) list, 'a, 'b) Ppx_core__.Ast_pattern0.t -> (Migrate_parsetree.OCaml_403.Ast.Parsetree.type_extension, 'b, 'c) Ppx_core__.Ast_pattern0.t -> (Migrate_parsetree.OCaml_403.Ast.Parsetree.type_extension, 'a, 'c) Ppx_core__.Ast_pattern0.t
val type_extension : path:(Ocaml_common.Longident.t, 'a, 'b) Ppx_core__.Ast_pattern0.t -> params: ((Migrate_parsetree.OCaml_403.Ast.Parsetree.core_type * Migrate_parsetree.OCaml_403.Ast.Asttypes.variance) list, 'b, 'c) Ppx_core__.Ast_pattern0.t -> constructors: (Migrate_parsetree.OCaml_403.Ast.Parsetree.extension_constructor list, 'c, 'd) Ppx_core__.Ast_pattern0.t -> private_: (Migrate_parsetree.OCaml_403.Ast.Asttypes.private_flag, 'd, 'e) Ppx_core__.Ast_pattern0.t -> (Migrate_parsetree.OCaml_403.Ast.Parsetree.type_extension, 'a, 'e) Ppx_core__.Ast_pattern0.t
val ptype_abstract : (Migrate_parsetree.OCaml_403.Ast.Parsetree.type_kind, 'a, 'a) Ppx_core__.Ast_pattern0.t
val ptype_variant : (Migrate_parsetree.OCaml_403.Ast.Parsetree.constructor_declaration list, 'a, 'b) Ppx_core__.Ast_pattern0.t -> (Migrate_parsetree.OCaml_403.Ast.Parsetree.type_kind, 'a, 'b) Ppx_core__.Ast_pattern0.t
val ptype_record : (Migrate_parsetree.OCaml_403.Ast.Parsetree.label_declaration list, 'a, 'b) Ppx_core__.Ast_pattern0.t -> (Migrate_parsetree.OCaml_403.Ast.Parsetree.type_kind, 'a, 'b) Ppx_core__.Ast_pattern0.t
val ptype_open : (Migrate_parsetree.OCaml_403.Ast.Parsetree.type_kind, 'a, 'a) Ppx_core__.Ast_pattern0.t
val value_binding_attributes : ((string Ocaml_common.Location.loc * Migrate_parsetree.OCaml_403.Ast.Parsetree.payload) list, 'a, 'b) Ppx_core__.Ast_pattern0.t -> (Migrate_parsetree.OCaml_403.Ast.Parsetree.value_binding, 'b, 'c) Ppx_core__.Ast_pattern0.t -> (Migrate_parsetree.OCaml_403.Ast.Parsetree.value_binding, 'a, 'c) Ppx_core__.Ast_pattern0.t
val value_binding : pat: (Migrate_parsetree.OCaml_403.Ast.Parsetree.pattern, 'a, 'b) Ppx_core__.Ast_pattern0.t -> expr: (Migrate_parsetree.OCaml_403.Ast.Parsetree.expression, 'b, 'c) Ppx_core__.Ast_pattern0.t -> (Migrate_parsetree.OCaml_403.Ast.Parsetree.value_binding, 'a, 'c) Ppx_core__.Ast_pattern0.t
val value_description_attributes : ((string Ocaml_common.Location.loc * Migrate_parsetree.OCaml_403.Ast.Parsetree.payload) list, 'a, 'b) Ppx_core__.Ast_pattern0.t -> (Migrate_parsetree.OCaml_403.Ast.Parsetree.value_description, 'b, 'c) Ppx_core__.Ast_pattern0.t -> (Migrate_parsetree.OCaml_403.Ast.Parsetree.value_description, 'a, 'c) Ppx_core__.Ast_pattern0.t
val value_description : name:(string, 'a, 'b) Ppx_core__.Ast_pattern0.t -> type_: (Migrate_parsetree.OCaml_403.Ast.Parsetree.core_type, 'b, 'c) Ppx_core__.Ast_pattern0.t -> prim:(string list, 'c, 'd) Ppx_core__.Ast_pattern0.t -> (Migrate_parsetree.OCaml_403.Ast.Parsetree.value_description, 'a, 'd) Ppx_core__.Ast_pattern0.t
val covariant : (Migrate_parsetree.OCaml_403.Ast.Asttypes.variance, 'a, 'a) Ppx_core__.Ast_pattern0.t
val contravariant : (Migrate_parsetree.OCaml_403.Ast.Asttypes.variance, 'a, 'a) Ppx_core__.Ast_pattern0.t
val invariant : (Migrate_parsetree.OCaml_403.Ast.Asttypes.variance, 'a, 'a) Ppx_core__.Ast_pattern0.t
val virtual_ : (Migrate_parsetree.OCaml_403.Ast.Asttypes.virtual_flag, 'a, 'a) Ppx_core__.Ast_pattern0.t
val concrete : (Migrate_parsetree.OCaml_403.Ast.Asttypes.virtual_flag, 'a, 'a) Ppx_core__.Ast_pattern0.t
val pwith_type : (Ocaml_common.Longident.t, 'a, 'b) Ppx_core__.Ast_pattern0.t -> (Migrate_parsetree.OCaml_403.Ast.Parsetree.type_declaration, 'b, 'c) Ppx_core__.Ast_pattern0.t -> (Migrate_parsetree.OCaml_403.Ast.Parsetree.with_constraint, 'a, 'c) Ppx_core__.Ast_pattern0.t
val pwith_module : (Ocaml_common.Longident.t, 'a, 'b) Ppx_core__.Ast_pattern0.t -> (Ocaml_common.Longident.t, 'b, 'c) Ppx_core__.Ast_pattern0.t -> (Migrate_parsetree.OCaml_403.Ast.Parsetree.with_constraint, 'a, 'c) Ppx_core__.Ast_pattern0.t
val pwith_typesubst : (Migrate_parsetree.OCaml_403.Ast.Parsetree.type_declaration, 'a, 'b) Ppx_core__.Ast_pattern0.t -> (Migrate_parsetree.OCaml_403.Ast.Parsetree.with_constraint, 'a, 'b) Ppx_core__.Ast_pattern0.t
val pwith_modsubst : (string, 'a, 'b) Ppx_core__.Ast_pattern0.t -> (Ocaml_common.Longident.t, 'b, 'c) Ppx_core__.Ast_pattern0.t -> (Migrate_parsetree.OCaml_403.Ast.Parsetree.with_constraint, 'a, 'c) Ppx_core__.Ast_pattern0.t
val true_ : (Base.Bool.t, 'a, 'a) t
val false_ : (Base.Bool.t, 'a, 'a) t
type context
val of_func : (context -> Location.t -> 'a -> 'b -> 'c) -> ('a, 'b, 'c) t
val to_func : ('a, 'b, 'c) t -> context -> Location.t -> 'a -> 'b -> 'c
OCaml

Innovation. Community. Security.