Ast_pattern (ppxlib.Ppxlib.Ast

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

val parse : 
  ('a, 'b, 'c) t ->
  Astlib.Location.t ->
  ?on_error:(unit -> 'c) ->
  'a ->
  'b ->
  'c

val parse_res : 
  ('a, 'b, 'c) t ->
  Astlib.Location.t ->
  ?on_error:(unit -> 'c) ->
  'a ->
  'b ->
  ('c, Ppxlib__.Location.Error.t Stdppx.NonEmptyList.t) result

module Packed : sig ... end

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

val __' : ('a, 'a Astlib.Location.loc -> 'b, 'b) t

val drop : ('a, 'b, 'b) t

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

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

val alt_option : 
  ('a, 'v -> 'b, 'c) t ->
  ('a, 'b, 'c) t ->
  ('a, 'v option -> 'b, 'c) t

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

val map : ('a, 'b, 'c) t -> f:('d -> 'b) -> ('a, 'd, 'c) t

val map' : 
  ('a, 'b, 'c) t ->
  f:(Astlib.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

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:(Astlib.Location.t -> 'v) ->
  ('a, 'v -> 'b, 'c) t

val map1' : 
  ('a, 'v1 -> 'b, 'c) t ->
  f:(Astlib.Location.t -> 'v1 -> 'v) ->
  ('a, 'v -> 'b, 'c) t

val map2' : 
  ('a, 'v1 -> 'v2 -> 'b, 'c) t ->
  f:(Astlib.Location.t -> 'v1 -> 'v2 -> 'v) ->
  ('a, 'v -> 'b, 'c) t

val map_value : ('a, 'b, 'c) t -> f:('d -> 'a) -> ('d, 'b, 'c) t

val map_value' : 
  ('a, 'b, 'c) t ->
  f:(Astlib.Location.t -> 'd -> 'a) ->
  ('d, 'b, 'c) t

val nil : ('b list, 'a, 'a) t

val (^::) : ('a, 'b, 'c) t -> ('a list, 'c, 'd) t -> ('a list, 'b, 'd) t

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

val int : int -> (int, 'a, 'a) t

val char : char -> (char, 'a, 'a) t

val string : string -> (string, 'a, 'a) t

val float : float -> (float, 'a, 'a) t

val int32 : int32 -> (int32, 'a, 'a) t

val int64 : int64 -> (int64, 'a, 'a) t

val nativeint : nativeint -> (nativeint, 'a, 'a) t

val bool : bool -> (bool, 'a, 'a) t

val ebool : (bool, 'a, 'b) t -> (Parsetree.expression, 'a, 'b) t

val pbool : (bool, 'a, 'b) t -> (Parsetree.pattern, 'a, 'b) t

val cst : 
  to_string:('a -> string) ->
  ?equal:('a -> 'a -> bool) ->
  'a ->
  ('a, 'b, 'b) t

val none : ('b option, 'a, 'a) t

val some : ('a, 'b, 'c) t -> ('a option, '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 Astlib.Location.loc, 'b, 'c) t

val pack0 : ('a, 'b, 'c) t -> ('a, unit -> '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

val nolabel : (Asttypes.arg_label, 'a, 'a) Ppxlib__.Ast_pattern0.t

val labelled : 
  (string, 'a, 'b) Ppxlib__.Ast_pattern0.t ->
  (Asttypes.arg_label, 'a, 'b) Ppxlib__.Ast_pattern0.t

val optional : 
  (string, 'a, 'b) Ppxlib__.Ast_pattern0.t ->
  (Asttypes.arg_label, 'a, 'b) Ppxlib__.Ast_pattern0.t

val binding_op : 
  op:(string, 'a, 'b) Ppxlib__.Ast_pattern0.t ->
  pat:(Parsetree.pattern, 'b, 'c) Ppxlib__.Ast_pattern0.t ->
  exp:(Parsetree.expression, 'c, 'd) Ppxlib__.Ast_pattern0.t ->
  (Parsetree.binding_op, 'a, 'd) Ppxlib__.Ast_pattern0.t

val case : 
  lhs:(Parsetree.pattern, 'a, 'b) Ppxlib__.Ast_pattern0.t ->
  guard:(Parsetree.expression option, 'b, 'c) Ppxlib__.Ast_pattern0.t ->
  rhs:(Parsetree.expression, 'c, 'd) Ppxlib__.Ast_pattern0.t ->
  (Parsetree.case, 'a, 'd) Ppxlib__.Ast_pattern0.t

val pcl_loc : 
  (Astlib.Location.t, 'a, 'b) Ppxlib__.Ast_pattern0.t ->
  (Parsetree.class_expr, 'b, 'c) Ppxlib__.Ast_pattern0.t ->
  (Parsetree.class_expr, 'a, 'c) Ppxlib__.Ast_pattern0.t

val pcl_attributes : 
  (Parsetree.attribute list, 'a, 'b) Ppxlib__.Ast_pattern0.t ->
  (Parsetree.class_expr, 'b, 'c) Ppxlib__.Ast_pattern0.t ->
  (Parsetree.class_expr, 'a, 'c) Ppxlib__.Ast_pattern0.t

val pcl_constr : 
  (Astlib.Longident.t, 'a, 'b) Ppxlib__.Ast_pattern0.t ->
  (Parsetree.core_type list, 'b, 'c) Ppxlib__.Ast_pattern0.t ->
  (Parsetree.class_expr, 'a, 'c) Ppxlib__.Ast_pattern0.t

val pcl_structure : 
  (Parsetree.class_structure, 'a, 'b) Ppxlib__.Ast_pattern0.t ->
  (Parsetree.class_expr, 'a, 'b) Ppxlib__.Ast_pattern0.t

val pcl_fun : 
  (Asttypes.arg_label, 'a, 'b) Ppxlib__.Ast_pattern0.t ->
  (Parsetree.expression option, 'b, 'c) Ppxlib__.Ast_pattern0.t ->
  (Parsetree.pattern, 'c, 'd) Ppxlib__.Ast_pattern0.t ->
  (Parsetree.class_expr, 'd, 'e) Ppxlib__.Ast_pattern0.t ->
  (Parsetree.class_expr, 'a, 'e) Ppxlib__.Ast_pattern0.t

val pcl_apply : 
  (Parsetree.class_expr, 'a, 'b) Ppxlib__.Ast_pattern0.t ->
  ((Asttypes.arg_label * Parsetree.expression) list, 'b, 'c)
    Ppxlib__.Ast_pattern0.t ->
  (Parsetree.class_expr, 'a, 'c) Ppxlib__.Ast_pattern0.t

val pcl_let : 
  (Asttypes.rec_flag, 'a, 'b) Ppxlib__.Ast_pattern0.t ->
  (Parsetree.value_binding list, 'b, 'c) Ppxlib__.Ast_pattern0.t ->
  (Parsetree.class_expr, 'c, 'd) Ppxlib__.Ast_pattern0.t ->
  (Parsetree.class_expr, 'a, 'd) Ppxlib__.Ast_pattern0.t

val pcl_constraint : 
  (Parsetree.class_expr, 'a, 'b) Ppxlib__.Ast_pattern0.t ->
  (Parsetree.class_type, 'b, 'c) Ppxlib__.Ast_pattern0.t ->
  (Parsetree.class_expr, 'a, 'c) Ppxlib__.Ast_pattern0.t

val pcl_extension : 
  (string Astlib.Location.loc * Parsetree.payload, 'a, 'b)
    Ppxlib__.Ast_pattern0.t ->
  (Parsetree.class_expr, 'a, 'b) Ppxlib__.Ast_pattern0.t

val pcl_open : 
  (Astlib.Longident.t Astlib.Location.loc Parsetree.open_infos, 'a, 'b)
    Ppxlib__.Ast_pattern0.t ->
  (Parsetree.class_expr, 'b, 'c) Ppxlib__.Ast_pattern0.t ->
  (Parsetree.class_expr, 'a, 'c) Ppxlib__.Ast_pattern0.t

val pcf_loc : 
  (Astlib.Location.t, 'a, 'b) Ppxlib__.Ast_pattern0.t ->
  (Parsetree.class_field, 'b, 'c) Ppxlib__.Ast_pattern0.t ->
  (Parsetree.class_field, 'a, 'c) Ppxlib__.Ast_pattern0.t

val pcf_attributes : 
  (Parsetree.attribute list, 'a, 'b) Ppxlib__.Ast_pattern0.t ->
  (Parsetree.class_field, 'b, 'c) Ppxlib__.Ast_pattern0.t ->
  (Parsetree.class_field, 'a, 'c) Ppxlib__.Ast_pattern0.t

val pcf_inherit : 
  (Asttypes.override_flag, 'a, 'b) Ppxlib__.Ast_pattern0.t ->
  (Parsetree.class_expr, 'b, 'c) Ppxlib__.Ast_pattern0.t ->
  (string Astlib.Location.loc option, 'c, 'd) Ppxlib__.Ast_pattern0.t ->
  (Parsetree.class_field, 'a, 'd) Ppxlib__.Ast_pattern0.t

val pcf_val : 
  (string Astlib.Location.loc
   * Asttypes.mutable_flag
   * Parsetree.class_field_kind,
    'a,
    'b)
    Ppxlib__.Ast_pattern0.t ->
  (Parsetree.class_field, 'a, 'b) Ppxlib__.Ast_pattern0.t

val pcf_method : 
  (string Astlib.Location.loc
   * Asttypes.private_flag
   * Parsetree.class_field_kind,
    'a,
    'b)
    Ppxlib__.Ast_pattern0.t ->
  (Parsetree.class_field, 'a, 'b) Ppxlib__.Ast_pattern0.t

val pcf_constraint : 
  (Parsetree.core_type * Parsetree.core_type, 'a, 'b) Ppxlib__.Ast_pattern0.t ->
  (Parsetree.class_field, 'a, 'b) Ppxlib__.Ast_pattern0.t

val pcf_initializer : 
  (Parsetree.expression, 'a, 'b) Ppxlib__.Ast_pattern0.t ->
  (Parsetree.class_field, 'a, 'b) Ppxlib__.Ast_pattern0.t

val pcf_attribute : 
  (Parsetree.attribute, 'a, 'b) Ppxlib__.Ast_pattern0.t ->
  (Parsetree.class_field, 'a, 'b) Ppxlib__.Ast_pattern0.t

val pcf_extension : 
  (string Astlib.Location.loc * Parsetree.payload, 'a, 'b)
    Ppxlib__.Ast_pattern0.t ->
  (Parsetree.class_field, 'a, 'b) Ppxlib__.Ast_pattern0.t

val cfk_virtual : 
  (Parsetree.core_type, 'a, 'b) Ppxlib__.Ast_pattern0.t ->
  (Parsetree.class_field_kind, 'a, 'b) Ppxlib__.Ast_pattern0.t

val cfk_concrete : 
  (Asttypes.override_flag, 'a, 'b) Ppxlib__.Ast_pattern0.t ->
  (Parsetree.expression, 'b, 'c) Ppxlib__.Ast_pattern0.t ->
  (Parsetree.class_field_kind, 'a, 'c) Ppxlib__.Ast_pattern0.t

val class_infos_attributes : 
  (Parsetree.attribute list, 'a, 'b) Ppxlib__.Ast_pattern0.t ->
  ('c Parsetree.class_infos, 'b, 'd) Ppxlib__.Ast_pattern0.t ->
  ('c Parsetree.class_infos, 'a, 'd) Ppxlib__.Ast_pattern0.t

val class_infos : 
  virt:(Asttypes.virtual_flag, 'a, 'b) Ppxlib__.Ast_pattern0.t ->
  params:
    ((Parsetree.core_type * (Asttypes.variance * Asttypes.injectivity)) list,
      'b,
      'c)
      Ppxlib__.Ast_pattern0.t ->
  name:(string, 'c, 'd) Ppxlib__.Ast_pattern0.t ->
  expr:('e, 'd, 'f) Ppxlib__.Ast_pattern0.t ->
  ('e Parsetree.class_infos, 'a, 'f) Ppxlib__.Ast_pattern0.t

val class_signature : 
  self:(Parsetree.core_type, 'a, 'b) Ppxlib__.Ast_pattern0.t ->
  fields:(Parsetree.class_type_field list, 'b, 'c) Ppxlib__.Ast_pattern0.t ->
  (Parsetree.class_signature, 'a, 'c) Ppxlib__.Ast_pattern0.t

val class_structure : 
  self:(Parsetree.pattern, 'a, 'b) Ppxlib__.Ast_pattern0.t ->
  fields:(Parsetree.class_field list, 'b, 'c) Ppxlib__.Ast_pattern0.t ->
  (Parsetree.class_structure, 'a, 'c) Ppxlib__.Ast_pattern0.t

val pcty_loc : 
  (Astlib.Location.t, 'a, 'b) Ppxlib__.Ast_pattern0.t ->
  (Parsetree.class_type, 'b, 'c) Ppxlib__.Ast_pattern0.t ->
  (Parsetree.class_type, 'a, 'c) Ppxlib__.Ast_pattern0.t

val pcty_attributes : 
  (Parsetree.attribute list, 'a, 'b) Ppxlib__.Ast_pattern0.t ->
  (Parsetree.class_type, 'b, 'c) Ppxlib__.Ast_pattern0.t ->
  (Parsetree.class_type, 'a, 'c) Ppxlib__.Ast_pattern0.t

val pcty_constr : 
  (Astlib.Longident.t, 'a, 'b) Ppxlib__.Ast_pattern0.t ->
  (Parsetree.core_type list, 'b, 'c) Ppxlib__.Ast_pattern0.t ->
  (Parsetree.class_type, 'a, 'c) Ppxlib__.Ast_pattern0.t

val pcty_signature : 
  (Parsetree.class_signature, 'a, 'b) Ppxlib__.Ast_pattern0.t ->
  (Parsetree.class_type, 'a, 'b) Ppxlib__.Ast_pattern0.t

val pcty_arrow : 
  (Asttypes.arg_label, 'a, 'b) Ppxlib__.Ast_pattern0.t ->
  (Parsetree.core_type, 'b, 'c) Ppxlib__.Ast_pattern0.t ->
  (Parsetree.class_type, 'c, 'd) Ppxlib__.Ast_pattern0.t ->
  (Parsetree.class_type, 'a, 'd) Ppxlib__.Ast_pattern0.t

val pcty_extension : 
  (string Astlib.Location.loc * Parsetree.payload, 'a, 'b)
    Ppxlib__.Ast_pattern0.t ->
  (Parsetree.class_type, 'a, 'b) Ppxlib__.Ast_pattern0.t

val pcty_open : 
  (Astlib.Longident.t Astlib.Location.loc Parsetree.open_infos, 'a, 'b)
    Ppxlib__.Ast_pattern0.t ->
  (Parsetree.class_type, 'b, 'c) Ppxlib__.Ast_pattern0.t ->
  (Parsetree.class_type, 'a, 'c) Ppxlib__.Ast_pattern0.t

val pctf_loc : 
  (Astlib.Location.t, 'a, 'b) Ppxlib__.Ast_pattern0.t ->
  (Parsetree.class_type_field, 'b, 'c) Ppxlib__.Ast_pattern0.t ->
  (Parsetree.class_type_field, 'a, 'c) Ppxlib__.Ast_pattern0.t

val pctf_attributes : 
  (Parsetree.attribute list, 'a, 'b) Ppxlib__.Ast_pattern0.t ->
  (Parsetree.class_type_field, 'b, 'c) Ppxlib__.Ast_pattern0.t ->
  (Parsetree.class_type_field, 'a, 'c) Ppxlib__.Ast_pattern0.t

val pctf_inherit : 
  (Parsetree.class_type, 'a, 'b) Ppxlib__.Ast_pattern0.t ->
  (Parsetree.class_type_field, 'a, 'b) Ppxlib__.Ast_pattern0.t

val pctf_val : 
  (string Astlib.Location.loc
   * Asttypes.mutable_flag
   * Asttypes.virtual_flag
   * Parsetree.core_type,
    'a,
    'b)
    Ppxlib__.Ast_pattern0.t ->
  (Parsetree.class_type_field, 'a, 'b) Ppxlib__.Ast_pattern0.t

val pctf_method : 
  (string Astlib.Location.loc
   * Asttypes.private_flag
   * Asttypes.virtual_flag
   * Parsetree.core_type,
    'a,
    'b)
    Ppxlib__.Ast_pattern0.t ->
  (Parsetree.class_type_field, 'a, 'b) Ppxlib__.Ast_pattern0.t

val pctf_constraint : 
  (Parsetree.core_type * Parsetree.core_type, 'a, 'b) Ppxlib__.Ast_pattern0.t ->
  (Parsetree.class_type_field, 'a, 'b) Ppxlib__.Ast_pattern0.t

val pctf_attribute : 
  (Parsetree.attribute, 'a, 'b) Ppxlib__.Ast_pattern0.t ->
  (Parsetree.class_type_field, 'a, 'b) Ppxlib__.Ast_pattern0.t

val pctf_extension : 
  (string Astlib.Location.loc * Parsetree.payload, 'a, 'b)
    Ppxlib__.Ast_pattern0.t ->
  (Parsetree.class_type_field, 'a, 'b) Ppxlib__.Ast_pattern0.t

val closed : (Asttypes.closed_flag, 'a, 'a) Ppxlib__.Ast_pattern0.t

val open_ : (Asttypes.closed_flag, 'a, 'a) Ppxlib__.Ast_pattern0.t

val pconst_integer : 
  (string, 'a, 'b) Ppxlib__.Ast_pattern0.t ->
  (char option, 'b, 'c) Ppxlib__.Ast_pattern0.t ->
  (Parsetree.constant, 'a, 'c) Ppxlib__.Ast_pattern0.t

val pconst_char : 
  (char, 'a, 'b) Ppxlib__.Ast_pattern0.t ->
  (Parsetree.constant, 'a, 'b) Ppxlib__.Ast_pattern0.t

val pconst_string : 
  (string, 'a, 'b) Ppxlib__.Ast_pattern0.t ->
  (Astlib.Location.t, 'b, 'c) Ppxlib__.Ast_pattern0.t ->
  (string option, 'c, 'd) Ppxlib__.Ast_pattern0.t ->
  (Parsetree.constant, 'a, 'd) Ppxlib__.Ast_pattern0.t

val pconst_float : 
  (string, 'a, 'b) Ppxlib__.Ast_pattern0.t ->
  (char option, 'b, 'c) Ppxlib__.Ast_pattern0.t ->
  (Parsetree.constant, 'a, 'c) Ppxlib__.Ast_pattern0.t

val pcstr_tuple : 
  (Parsetree.core_type list, 'a, 'b) Ppxlib__.Ast_pattern0.t ->
  (Parsetree.constructor_arguments, 'a, 'b) Ppxlib__.Ast_pattern0.t

val pcstr_record : 
  (Parsetree.label_declaration list, 'a, 'b) Ppxlib__.Ast_pattern0.t ->
  (Parsetree.constructor_arguments, 'a, 'b) Ppxlib__.Ast_pattern0.t

val constructor_declaration_attributes : 
  (Parsetree.attribute list, 'a, 'b) Ppxlib__.Ast_pattern0.t ->
  (Parsetree.constructor_declaration, 'b, 'c) Ppxlib__.Ast_pattern0.t ->
  (Parsetree.constructor_declaration, 'a, 'c) Ppxlib__.Ast_pattern0.t

val constructor_declaration : 
  name:(string, 'a, 'b) Ppxlib__.Ast_pattern0.t ->
  vars:(string Astlib.Location.loc list, 'b, 'c) Ppxlib__.Ast_pattern0.t ->
  args:(Parsetree.constructor_arguments, 'c, 'd) Ppxlib__.Ast_pattern0.t ->
  res:(Parsetree.core_type option, 'd, 'e) Ppxlib__.Ast_pattern0.t ->
  (Parsetree.constructor_declaration, 'a, 'e) Ppxlib__.Ast_pattern0.t

val ptyp_loc : 
  (Astlib.Location.t, 'a, 'b) Ppxlib__.Ast_pattern0.t ->
  (Parsetree.core_type, 'b, 'c) Ppxlib__.Ast_pattern0.t ->
  (Parsetree.core_type, 'a, 'c) Ppxlib__.Ast_pattern0.t

val ptyp_attributes : 
  (Parsetree.attribute list, 'a, 'b) Ppxlib__.Ast_pattern0.t ->
  (Parsetree.core_type, 'b, 'c) Ppxlib__.Ast_pattern0.t ->
  (Parsetree.core_type, 'a, 'c) Ppxlib__.Ast_pattern0.t

val ptyp_any : (Parsetree.core_type, 'a, 'a) Ppxlib__.Ast_pattern0.t

val ptyp_var : 
  (string, 'a, 'b) Ppxlib__.Ast_pattern0.t ->
  (Parsetree.core_type, 'a, 'b) Ppxlib__.Ast_pattern0.t

val ptyp_arrow : 
  (Asttypes.arg_label, 'a, 'b) Ppxlib__.Ast_pattern0.t ->
  (Parsetree.core_type, 'b, 'c) Ppxlib__.Ast_pattern0.t ->
  (Parsetree.core_type, 'c, 'd) Ppxlib__.Ast_pattern0.t ->
  (Parsetree.core_type, 'a, 'd) Ppxlib__.Ast_pattern0.t

val ptyp_tuple : 
  (Parsetree.core_type list, 'a, 'b) Ppxlib__.Ast_pattern0.t ->
  (Parsetree.core_type, 'a, 'b) Ppxlib__.Ast_pattern0.t

val ptyp_constr : 
  (Astlib.Longident.t, 'a, 'b) Ppxlib__.Ast_pattern0.t ->
  (Parsetree.core_type list, 'b, 'c) Ppxlib__.Ast_pattern0.t ->
  (Parsetree.core_type, 'a, 'c) Ppxlib__.Ast_pattern0.t

val ptyp_object : 
  (Parsetree.object_field list, 'a, 'b) Ppxlib__.Ast_pattern0.t ->
  (Asttypes.closed_flag, 'b, 'c) Ppxlib__.Ast_pattern0.t ->
  (Parsetree.core_type, 'a, 'c) Ppxlib__.Ast_pattern0.t

val ptyp_class : 
  (Astlib.Longident.t, 'a, 'b) Ppxlib__.Ast_pattern0.t ->
  (Parsetree.core_type list, 'b, 'c) Ppxlib__.Ast_pattern0.t ->
  (Parsetree.core_type, 'a, 'c) Ppxlib__.Ast_pattern0.t

val ptyp_alias : 
  (Parsetree.core_type, 'a, 'b) Ppxlib__.Ast_pattern0.t ->
  (string, 'b, 'c) Ppxlib__.Ast_pattern0.t ->
  (Parsetree.core_type, 'a, 'c) Ppxlib__.Ast_pattern0.t

val ptyp_variant : 
  (Parsetree.row_field list, 'a, 'b) Ppxlib__.Ast_pattern0.t ->
  (Asttypes.closed_flag, 'b, 'c) Ppxlib__.Ast_pattern0.t ->
  (string list option, 'c, 'd) Ppxlib__.Ast_pattern0.t ->
  (Parsetree.core_type, 'a, 'd) Ppxlib__.Ast_pattern0.t

val ptyp_poly : 
  (string Astlib.Location.loc list, 'a, 'b) Ppxlib__.Ast_pattern0.t ->
  (Parsetree.core_type, 'b, 'c) Ppxlib__.Ast_pattern0.t ->
  (Parsetree.core_type, 'a, 'c) Ppxlib__.Ast_pattern0.t

val ptyp_package : 
  (Astlib.Longident.t Astlib.Location.loc
   * (Astlib.Longident.t Astlib.Location.loc * Parsetree.core_type) list,
    'a,
    'b)
    Ppxlib__.Ast_pattern0.t ->
  (Parsetree.core_type, 'a, 'b) Ppxlib__.Ast_pattern0.t

val ptyp_extension : 
  (string Astlib.Location.loc * Parsetree.payload, 'a, 'b)
    Ppxlib__.Ast_pattern0.t ->
  (Parsetree.core_type, 'a, 'b) Ppxlib__.Ast_pattern0.t

val upto : (Asttypes.direction_flag, 'a, 'a) Ppxlib__.Ast_pattern0.t

val downto_ : (Asttypes.direction_flag, 'a, 'a) Ppxlib__.Ast_pattern0.t

val pdira_loc : 
  (Astlib.Location.t, 'a, 'b) Ppxlib__.Ast_pattern0.t ->
  (Parsetree.directive_argument, 'b, 'c) Ppxlib__.Ast_pattern0.t ->
  (Parsetree.directive_argument, 'a, 'c) Ppxlib__.Ast_pattern0.t

val pdir_string : 
  (string, 'a, 'b) Ppxlib__.Ast_pattern0.t ->
  (Parsetree.directive_argument, 'a, 'b) Ppxlib__.Ast_pattern0.t

val pdir_int : 
  (string, 'a, 'b) Ppxlib__.Ast_pattern0.t ->
  (char option, 'b, 'c) Ppxlib__.Ast_pattern0.t ->
  (Parsetree.directive_argument, 'a, 'c) Ppxlib__.Ast_pattern0.t

val pdir_ident : 
  (Astlib.Longident.t, 'a, 'b) Ppxlib__.Ast_pattern0.t ->
  (Parsetree.directive_argument, 'a, 'b) Ppxlib__.Ast_pattern0.t

val pdir_bool : 
  (bool, 'a, 'b) Ppxlib__.Ast_pattern0.t ->
  (Parsetree.directive_argument, 'a, 'b) Ppxlib__.Ast_pattern0.t

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

val pexp_attributes : 
  (Parsetree.attribute list, 'a, 'b) Ppxlib__.Ast_pattern0.t ->
  (Parsetree.expression, 'b, 'c) Ppxlib__.Ast_pattern0.t ->
  (Parsetree.expression, 'a, 'c) Ppxlib__.Ast_pattern0.t

val pexp_ident : 
  (Astlib.Longident.t, 'a, 'b) Ppxlib__.Ast_pattern0.t ->
  (Parsetree.expression, 'a, 'b) Ppxlib__.Ast_pattern0.t

val pexp_constant : 
  (Parsetree.constant, 'a, 'b) Ppxlib__.Ast_pattern0.t ->
  (Parsetree.expression, 'a, 'b) Ppxlib__.Ast_pattern0.t

val pexp_let : 
  (Asttypes.rec_flag, 'a, 'b) Ppxlib__.Ast_pattern0.t ->
  (Parsetree.value_binding list, 'b, 'c) Ppxlib__.Ast_pattern0.t ->
  (Parsetree.expression, 'c, 'd) Ppxlib__.Ast_pattern0.t ->
  (Parsetree.expression, 'a, 'd) Ppxlib__.Ast_pattern0.t

val pexp_function : 
  (Parsetree.case list, 'a, 'b) Ppxlib__.Ast_pattern0.t ->
  (Parsetree.expression, 'a, 'b) Ppxlib__.Ast_pattern0.t

val pexp_fun : 
  (Asttypes.arg_label, 'a, 'b) Ppxlib__.Ast_pattern0.t ->
  (Parsetree.expression option, 'b, 'c) Ppxlib__.Ast_pattern0.t ->
  (Parsetree.pattern, 'c, 'd) Ppxlib__.Ast_pattern0.t ->
  (Parsetree.expression, 'd, 'e) Ppxlib__.Ast_pattern0.t ->
  (Parsetree.expression, 'a, 'e) Ppxlib__.Ast_pattern0.t

val pexp_apply : 
  (Parsetree.expression, 'a, 'b) Ppxlib__.Ast_pattern0.t ->
  ((Asttypes.arg_label * Parsetree.expression) list, 'b, 'c)
    Ppxlib__.Ast_pattern0.t ->
  (Parsetree.expression, 'a, 'c) Ppxlib__.Ast_pattern0.t

val pexp_match : 
  (Parsetree.expression, 'a, 'b) Ppxlib__.Ast_pattern0.t ->
  (Parsetree.case list, 'b, 'c) Ppxlib__.Ast_pattern0.t ->
  (Parsetree.expression, 'a, 'c) Ppxlib__.Ast_pattern0.t

val pexp_try : 
  (Parsetree.expression, 'a, 'b) Ppxlib__.Ast_pattern0.t ->
  (Parsetree.case list, 'b, 'c) Ppxlib__.Ast_pattern0.t ->
  (Parsetree.expression, 'a, 'c) Ppxlib__.Ast_pattern0.t

val pexp_tuple : 
  (Parsetree.expression list, 'a, 'b) Ppxlib__.Ast_pattern0.t ->
  (Parsetree.expression, 'a, 'b) Ppxlib__.Ast_pattern0.t

val pexp_construct : 
  (Astlib.Longident.t, 'a, 'b) Ppxlib__.Ast_pattern0.t ->
  (Parsetree.expression option, 'b, 'c) Ppxlib__.Ast_pattern0.t ->
  (Parsetree.expression, 'a, 'c) Ppxlib__.Ast_pattern0.t

val pexp_variant : 
  (string, 'a, 'b) Ppxlib__.Ast_pattern0.t ->
  (Parsetree.expression option, 'b, 'c) Ppxlib__.Ast_pattern0.t ->
  (Parsetree.expression, 'a, 'c) Ppxlib__.Ast_pattern0.t

val pexp_record : 
  ((Astlib.Longident.t Astlib.Location.loc * Parsetree.expression) list,
    'a,
    'b)
    Ppxlib__.Ast_pattern0.t ->
  (Parsetree.expression option, 'b, 'c) Ppxlib__.Ast_pattern0.t ->
  (Parsetree.expression, 'a, 'c) Ppxlib__.Ast_pattern0.t

val pexp_field : 
  (Parsetree.expression, 'a, 'b) Ppxlib__.Ast_pattern0.t ->
  (Astlib.Longident.t, 'b, 'c) Ppxlib__.Ast_pattern0.t ->
  (Parsetree.expression, 'a, 'c) Ppxlib__.Ast_pattern0.t

val pexp_setfield : 
  (Parsetree.expression, 'a, 'b) Ppxlib__.Ast_pattern0.t ->
  (Astlib.Longident.t, 'b, 'c) Ppxlib__.Ast_pattern0.t ->
  (Parsetree.expression, 'c, 'd) Ppxlib__.Ast_pattern0.t ->
  (Parsetree.expression, 'a, 'd) Ppxlib__.Ast_pattern0.t

val pexp_array : 
  (Parsetree.expression list, 'a, 'b) Ppxlib__.Ast_pattern0.t ->
  (Parsetree.expression, 'a, 'b) Ppxlib__.Ast_pattern0.t

val pexp_ifthenelse : 
  (Parsetree.expression, 'a, 'b) Ppxlib__.Ast_pattern0.t ->
  (Parsetree.expression, 'b, 'c) Ppxlib__.Ast_pattern0.t ->
  (Parsetree.expression option, 'c, 'd) Ppxlib__.Ast_pattern0.t ->
  (Parsetree.expression, 'a, 'd) Ppxlib__.Ast_pattern0.t

val pexp_sequence : 
  (Parsetree.expression, 'a, 'b) Ppxlib__.Ast_pattern0.t ->
  (Parsetree.expression, 'b, 'c) Ppxlib__.Ast_pattern0.t ->
  (Parsetree.expression, 'a, 'c) Ppxlib__.Ast_pattern0.t

val pexp_while : 
  (Parsetree.expression, 'a, 'b) Ppxlib__.Ast_pattern0.t ->
  (Parsetree.expression, 'b, 'c) Ppxlib__.Ast_pattern0.t ->
  (Parsetree.expression, 'a, 'c) Ppxlib__.Ast_pattern0.t

val pexp_for : 
  (Parsetree.pattern, 'a, 'b) Ppxlib__.Ast_pattern0.t ->
  (Parsetree.expression, 'b, 'c) Ppxlib__.Ast_pattern0.t ->
  (Parsetree.expression, 'c, 'd) Ppxlib__.Ast_pattern0.t ->
  (Asttypes.direction_flag, 'd, 'e) Ppxlib__.Ast_pattern0.t ->
  (Parsetree.expression, 'e, 'f) Ppxlib__.Ast_pattern0.t ->
  (Parsetree.expression, 'a, 'f) Ppxlib__.Ast_pattern0.t

val pexp_constraint : 
  (Parsetree.expression, 'a, 'b) Ppxlib__.Ast_pattern0.t ->
  (Parsetree.core_type, 'b, 'c) Ppxlib__.Ast_pattern0.t ->
  (Parsetree.expression, 'a, 'c) Ppxlib__.Ast_pattern0.t

val pexp_coerce : 
  (Parsetree.expression, 'a, 'b) Ppxlib__.Ast_pattern0.t ->
  (Parsetree.core_type option, 'b, 'c) Ppxlib__.Ast_pattern0.t ->
  (Parsetree.core_type, 'c, 'd) Ppxlib__.Ast_pattern0.t ->
  (Parsetree.expression, 'a, 'd) Ppxlib__.Ast_pattern0.t

val pexp_send : 
  (Parsetree.expression, 'a, 'b) Ppxlib__.Ast_pattern0.t ->
  (string, 'b, 'c) Ppxlib__.Ast_pattern0.t ->
  (Parsetree.expression, 'a, 'c) Ppxlib__.Ast_pattern0.t

val pexp_new : 
  (Astlib.Longident.t, 'a, 'b) Ppxlib__.Ast_pattern0.t ->
  (Parsetree.expression, 'a, 'b) Ppxlib__.Ast_pattern0.t

val pexp_setinstvar : 
  (string, 'a, 'b) Ppxlib__.Ast_pattern0.t ->
  (Parsetree.expression, 'b, 'c) Ppxlib__.Ast_pattern0.t ->
  (Parsetree.expression, 'a, 'c) Ppxlib__.Ast_pattern0.t

val pexp_override : 
  ((string Astlib.Location.loc * Parsetree.expression) list, 'a, 'b)
    Ppxlib__.Ast_pattern0.t ->
  (Parsetree.expression, 'a, 'b) Ppxlib__.Ast_pattern0.t

val pexp_letmodule : 
  (string option, 'a, 'b) Ppxlib__.Ast_pattern0.t ->
  (Parsetree.module_expr, 'b, 'c) Ppxlib__.Ast_pattern0.t ->
  (Parsetree.expression, 'c, 'd) Ppxlib__.Ast_pattern0.t ->
  (Parsetree.expression, 'a, 'd) Ppxlib__.Ast_pattern0.t

val pexp_letexception : 
  (Parsetree.extension_constructor, 'a, 'b) Ppxlib__.Ast_pattern0.t ->
  (Parsetree.expression, 'b, 'c) Ppxlib__.Ast_pattern0.t ->
  (Parsetree.expression, 'a, 'c) Ppxlib__.Ast_pattern0.t

val pexp_assert : 
  (Parsetree.expression, 'a, 'b) Ppxlib__.Ast_pattern0.t ->
  (Parsetree.expression, 'a, 'b) Ppxlib__.Ast_pattern0.t

val pexp_lazy : 
  (Parsetree.expression, 'a, 'b) Ppxlib__.Ast_pattern0.t ->
  (Parsetree.expression, 'a, 'b) Ppxlib__.Ast_pattern0.t

val pexp_poly : 
  (Parsetree.expression, 'a, 'b) Ppxlib__.Ast_pattern0.t ->
  (Parsetree.core_type option, 'b, 'c) Ppxlib__.Ast_pattern0.t ->
  (Parsetree.expression, 'a, 'c) Ppxlib__.Ast_pattern0.t

val pexp_object : 
  (Parsetree.class_structure, 'a, 'b) Ppxlib__.Ast_pattern0.t ->
  (Parsetree.expression, 'a, 'b) Ppxlib__.Ast_pattern0.t

val pexp_newtype : 
  (string, 'a, 'b) Ppxlib__.Ast_pattern0.t ->
  (Parsetree.expression, 'b, 'c) Ppxlib__.Ast_pattern0.t ->
  (Parsetree.expression, 'a, 'c) Ppxlib__.Ast_pattern0.t

val pexp_pack : 
  (Parsetree.module_expr, 'a, 'b) Ppxlib__.Ast_pattern0.t ->
  (Parsetree.expression, 'a, 'b) Ppxlib__.Ast_pattern0.t

val pexp_open : 
  (Parsetree.module_expr Parsetree.open_infos, 'a, 'b) Ppxlib__.Ast_pattern0.t ->
  (Parsetree.expression, 'b, 'c) Ppxlib__.Ast_pattern0.t ->
  (Parsetree.expression, 'a, 'c) Ppxlib__.Ast_pattern0.t

val pexp_letop : 
  (Parsetree.letop, 'a, 'b) Ppxlib__.Ast_pattern0.t ->
  (Parsetree.expression, 'a, 'b) Ppxlib__.Ast_pattern0.t

val pexp_extension : 
  (string Astlib.Location.loc * Parsetree.payload, 'a, 'b)
    Ppxlib__.Ast_pattern0.t ->
  (Parsetree.expression, 'a, 'b) Ppxlib__.Ast_pattern0.t

val pexp_unreachable : (Parsetree.expression, 'a, 'a) Ppxlib__.Ast_pattern0.t

val extension_constructor_attributes : 
  (Parsetree.attribute list, 'a, 'b) Ppxlib__.Ast_pattern0.t ->
  (Parsetree.extension_constructor, 'b, 'c) Ppxlib__.Ast_pattern0.t ->
  (Parsetree.extension_constructor, 'a, 'c) Ppxlib__.Ast_pattern0.t

val extension_constructor : 
  name:(string, 'a, 'b) Ppxlib__.Ast_pattern0.t ->
  kind:(Parsetree.extension_constructor_kind, 'b, 'c) Ppxlib__.Ast_pattern0.t ->
  (Parsetree.extension_constructor, 'a, 'c) Ppxlib__.Ast_pattern0.t

val pext_decl : 
  (string Astlib.Location.loc list, 'a, 'b) Ppxlib__.Ast_pattern0.t ->
  (Parsetree.constructor_arguments, 'b, 'c) Ppxlib__.Ast_pattern0.t ->
  (Parsetree.core_type option, 'c, 'd) Ppxlib__.Ast_pattern0.t ->
  (Parsetree.extension_constructor_kind, 'a, 'd) Ppxlib__.Ast_pattern0.t

val pext_rebind : 
  (Astlib.Longident.t, 'a, 'b) Ppxlib__.Ast_pattern0.t ->
  (Parsetree.extension_constructor_kind, 'a, 'b) Ppxlib__.Ast_pattern0.t

val unit : (Parsetree.functor_parameter, 'a, 'a) Ppxlib__.Ast_pattern0.t

val named : 
  (string option, 'a, 'b) Ppxlib__.Ast_pattern0.t ->
  (Parsetree.module_type, 'b, 'c) Ppxlib__.Ast_pattern0.t ->
  (Parsetree.functor_parameter, 'a, 'c) Ppxlib__.Ast_pattern0.t

val include_infos_attributes : 
  (Parsetree.attribute list, 'a, 'b) Ppxlib__.Ast_pattern0.t ->
  ('c Parsetree.include_infos, 'b, 'd) Ppxlib__.Ast_pattern0.t ->
  ('c Parsetree.include_infos, 'a, 'd) Ppxlib__.Ast_pattern0.t

val include_infos : 
  mod_:('a, 'b, 'c) Ppxlib__.Ast_pattern0.t ->
  ('a Parsetree.include_infos, 'b, 'c) Ppxlib__.Ast_pattern0.t

val injective : (Asttypes.injectivity, 'a, 'a) Ppxlib__.Ast_pattern0.t

val noinjectivity : (Asttypes.injectivity, 'a, 'a) Ppxlib__.Ast_pattern0.t

val label_declaration_attributes : 
  (Parsetree.attribute list, 'a, 'b) Ppxlib__.Ast_pattern0.t ->
  (Parsetree.label_declaration, 'b, 'c) Ppxlib__.Ast_pattern0.t ->
  (Parsetree.label_declaration, 'a, 'c) Ppxlib__.Ast_pattern0.t

val label_declaration : 
  name:(string, 'a, 'b) Ppxlib__.Ast_pattern0.t ->
  mutable_:(Asttypes.mutable_flag, 'b, 'c) Ppxlib__.Ast_pattern0.t ->
  type_:(Parsetree.core_type, 'c, 'd) Ppxlib__.Ast_pattern0.t ->
  (Parsetree.label_declaration, 'a, 'd) Ppxlib__.Ast_pattern0.t

val letop : 
  let_:(Parsetree.binding_op, 'a, 'b) Ppxlib__.Ast_pattern0.t ->
  ands:(Parsetree.binding_op list, 'b, 'c) Ppxlib__.Ast_pattern0.t ->
  body:(Parsetree.expression, 'c, 'd) Ppxlib__.Ast_pattern0.t ->
  (Parsetree.letop, 'a, 'd) Ppxlib__.Ast_pattern0.t

val location : 
  start:(Lexing.position, 'a, 'b) Ppxlib__.Ast_pattern0.t ->
  end_:(Lexing.position, 'b, 'c) Ppxlib__.Ast_pattern0.t ->
  ghost:(bool, 'c, 'd) Ppxlib__.Ast_pattern0.t ->
  (Astlib.Location.t, 'a, 'd) Ppxlib__.Ast_pattern0.t

val lident : 
  (string, 'a, 'b) Ppxlib__.Ast_pattern0.t ->
  (Astlib.Longident.t, 'a, 'b) Ppxlib__.Ast_pattern0.t

val ldot : 
  (Astlib.Longident.t, 'a, 'b) Ppxlib__.Ast_pattern0.t ->
  (string, 'b, 'c) Ppxlib__.Ast_pattern0.t ->
  (Astlib.Longident.t, 'a, 'c) Ppxlib__.Ast_pattern0.t

val lapply : 
  (Astlib.Longident.t, 'a, 'b) Ppxlib__.Ast_pattern0.t ->
  (Astlib.Longident.t, 'b, 'c) Ppxlib__.Ast_pattern0.t ->
  (Astlib.Longident.t, 'a, 'c) Ppxlib__.Ast_pattern0.t

val module_binding_attributes : 
  (Parsetree.attribute list, 'a, 'b) Ppxlib__.Ast_pattern0.t ->
  (Parsetree.module_binding, 'b, 'c) Ppxlib__.Ast_pattern0.t ->
  (Parsetree.module_binding, 'a, 'c) Ppxlib__.Ast_pattern0.t

val module_binding : 
  name:(string option, 'a, 'b) Ppxlib__.Ast_pattern0.t ->
  expr:(Parsetree.module_expr, 'b, 'c) Ppxlib__.Ast_pattern0.t ->
  (Parsetree.module_binding, 'a, 'c) Ppxlib__.Ast_pattern0.t

val module_declaration_attributes : 
  (Parsetree.attribute list, 'a, 'b) Ppxlib__.Ast_pattern0.t ->
  (Parsetree.module_declaration, 'b, 'c) Ppxlib__.Ast_pattern0.t ->
  (Parsetree.module_declaration, 'a, 'c) Ppxlib__.Ast_pattern0.t

val module_declaration : 
  name:(string option, 'a, 'b) Ppxlib__.Ast_pattern0.t ->
  type_:(Parsetree.module_type, 'b, 'c) Ppxlib__.Ast_pattern0.t ->
  (Parsetree.module_declaration, 'a, 'c) Ppxlib__.Ast_pattern0.t

val pmod_loc : 
  (Astlib.Location.t, 'a, 'b) Ppxlib__.Ast_pattern0.t ->
  (Parsetree.module_expr, 'b, 'c) Ppxlib__.Ast_pattern0.t ->
  (Parsetree.module_expr, 'a, 'c) Ppxlib__.Ast_pattern0.t

val pmod_attributes : 
  (Parsetree.attribute list, 'a, 'b) Ppxlib__.Ast_pattern0.t ->
  (Parsetree.module_expr, 'b, 'c) Ppxlib__.Ast_pattern0.t ->
  (Parsetree.module_expr, 'a, 'c) Ppxlib__.Ast_pattern0.t

val pmod_ident : 
  (Astlib.Longident.t, 'a, 'b) Ppxlib__.Ast_pattern0.t ->
  (Parsetree.module_expr, 'a, 'b) Ppxlib__.Ast_pattern0.t

val pmod_structure : 
  (Parsetree.structure_item list, 'a, 'b) Ppxlib__.Ast_pattern0.t ->
  (Parsetree.module_expr, 'a, 'b) Ppxlib__.Ast_pattern0.t

val pmod_functor : 
  (Parsetree.functor_parameter, 'a, 'b) Ppxlib__.Ast_pattern0.t ->
  (Parsetree.module_expr, 'b, 'c) Ppxlib__.Ast_pattern0.t ->
  (Parsetree.module_expr, 'a, 'c) Ppxlib__.Ast_pattern0.t

val pmod_apply : 
  (Parsetree.module_expr, 'a, 'b) Ppxlib__.Ast_pattern0.t ->
  (Parsetree.module_expr, 'b, 'c) Ppxlib__.Ast_pattern0.t ->
  (Parsetree.module_expr, 'a, 'c) Ppxlib__.Ast_pattern0.t

val pmod_constraint : 
  (Parsetree.module_expr, 'a, 'b) Ppxlib__.Ast_pattern0.t ->
  (Parsetree.module_type, 'b, 'c) Ppxlib__.Ast_pattern0.t ->
  (Parsetree.module_expr, 'a, 'c) Ppxlib__.Ast_pattern0.t

val pmod_unpack : 
  (Parsetree.expression, 'a, 'b) Ppxlib__.Ast_pattern0.t ->
  (Parsetree.module_expr, 'a, 'b) Ppxlib__.Ast_pattern0.t

val pmod_extension : 
  (string Astlib.Location.loc * Parsetree.payload, 'a, 'b)
    Ppxlib__.Ast_pattern0.t ->
  (Parsetree.module_expr, 'a, 'b) Ppxlib__.Ast_pattern0.t

val module_substitution_attributes : 
  (Parsetree.attribute list, 'a, 'b) Ppxlib__.Ast_pattern0.t ->
  (Parsetree.module_substitution, 'b, 'c) Ppxlib__.Ast_pattern0.t ->
  (Parsetree.module_substitution, 'a, 'c) Ppxlib__.Ast_pattern0.t

val module_substitution : 
  name:(string, 'a, 'b) Ppxlib__.Ast_pattern0.t ->
  manifest:(Astlib.Longident.t, 'b, 'c) Ppxlib__.Ast_pattern0.t ->
  (Parsetree.module_substitution, 'a, 'c) Ppxlib__.Ast_pattern0.t

val pmty_loc : 
  (Astlib.Location.t, 'a, 'b) Ppxlib__.Ast_pattern0.t ->
  (Parsetree.module_type, 'b, 'c) Ppxlib__.Ast_pattern0.t ->
  (Parsetree.module_type, 'a, 'c) Ppxlib__.Ast_pattern0.t

val pmty_attributes : 
  (Parsetree.attribute list, 'a, 'b) Ppxlib__.Ast_pattern0.t ->
  (Parsetree.module_type, 'b, 'c) Ppxlib__.Ast_pattern0.t ->
  (Parsetree.module_type, 'a, 'c) Ppxlib__.Ast_pattern0.t

val pmty_ident : 
  (Astlib.Longident.t, 'a, 'b) Ppxlib__.Ast_pattern0.t ->
  (Parsetree.module_type, 'a, 'b) Ppxlib__.Ast_pattern0.t

val pmty_signature : 
  (Parsetree.signature_item list, 'a, 'b) Ppxlib__.Ast_pattern0.t ->
  (Parsetree.module_type, 'a, 'b) Ppxlib__.Ast_pattern0.t

val pmty_functor : 
  (Parsetree.functor_parameter, 'a, 'b) Ppxlib__.Ast_pattern0.t ->
  (Parsetree.module_type, 'b, 'c) Ppxlib__.Ast_pattern0.t ->
  (Parsetree.module_type, 'a, 'c) Ppxlib__.Ast_pattern0.t

val pmty_with : 
  (Parsetree.module_type, 'a, 'b) Ppxlib__.Ast_pattern0.t ->
  (Parsetree.with_constraint list, 'b, 'c) Ppxlib__.Ast_pattern0.t ->
  (Parsetree.module_type, 'a, 'c) Ppxlib__.Ast_pattern0.t

val pmty_typeof : 
  (Parsetree.module_expr, 'a, 'b) Ppxlib__.Ast_pattern0.t ->
  (Parsetree.module_type, 'a, 'b) Ppxlib__.Ast_pattern0.t

val pmty_extension : 
  (string Astlib.Location.loc * Parsetree.payload, 'a, 'b)
    Ppxlib__.Ast_pattern0.t ->
  (Parsetree.module_type, 'a, 'b) Ppxlib__.Ast_pattern0.t

val pmty_alias : 
  (Astlib.Longident.t, 'a, 'b) Ppxlib__.Ast_pattern0.t ->
  (Parsetree.module_type, 'a, 'b) Ppxlib__.Ast_pattern0.t

val module_type_declaration_attributes : 
  (Parsetree.attribute list, 'a, 'b) Ppxlib__.Ast_pattern0.t ->
  (Parsetree.module_type_declaration, 'b, 'c) Ppxlib__.Ast_pattern0.t ->
  (Parsetree.module_type_declaration, 'a, 'c) Ppxlib__.Ast_pattern0.t

val module_type_declaration : 
  name:(string, 'a, 'b) Ppxlib__.Ast_pattern0.t ->
  type_:(Parsetree.module_type option, 'b, 'c) Ppxlib__.Ast_pattern0.t ->
  (Parsetree.module_type_declaration, 'a, 'c) Ppxlib__.Ast_pattern0.t

val immutable : (Asttypes.mutable_flag, 'a, 'a) Ppxlib__.Ast_pattern0.t

val mutable_ : (Asttypes.mutable_flag, 'a, 'a) Ppxlib__.Ast_pattern0.t

val pof_loc : 
  (Astlib.Location.t, 'a, 'b) Ppxlib__.Ast_pattern0.t ->
  (Parsetree.object_field, 'b, 'c) Ppxlib__.Ast_pattern0.t ->
  (Parsetree.object_field, 'a, 'c) Ppxlib__.Ast_pattern0.t

val pof_attributes : 
  (Parsetree.attribute list, 'a, 'b) Ppxlib__.Ast_pattern0.t ->
  (Parsetree.object_field, 'b, 'c) Ppxlib__.Ast_pattern0.t ->
  (Parsetree.object_field, 'a, 'c) Ppxlib__.Ast_pattern0.t

val otag : 
  (string, 'a, 'b) Ppxlib__.Ast_pattern0.t ->
  (Parsetree.core_type, 'b, 'c) Ppxlib__.Ast_pattern0.t ->
  (Parsetree.object_field, 'a, 'c) Ppxlib__.Ast_pattern0.t

val oinherit : 
  (Parsetree.core_type, 'a, 'b) Ppxlib__.Ast_pattern0.t ->
  (Parsetree.object_field, 'a, 'b) Ppxlib__.Ast_pattern0.t

val open_infos_attributes : 
  (Parsetree.attribute list, 'a, 'b) Ppxlib__.Ast_pattern0.t ->
  ('c Parsetree.open_infos, 'b, 'd) Ppxlib__.Ast_pattern0.t ->
  ('c Parsetree.open_infos, 'a, 'd) Ppxlib__.Ast_pattern0.t

val open_infos : 
  expr:('a, 'b, 'c) Ppxlib__.Ast_pattern0.t ->
  override:(Asttypes.override_flag, 'c, 'd) Ppxlib__.Ast_pattern0.t ->
  ('a Parsetree.open_infos, 'b, 'd) Ppxlib__.Ast_pattern0.t

val override : (Asttypes.override_flag, 'a, 'a) Ppxlib__.Ast_pattern0.t

val fresh : (Asttypes.override_flag, 'a, 'a) Ppxlib__.Ast_pattern0.t

val ppat_loc : 
  (Astlib.Location.t, 'a, 'b) Ppxlib__.Ast_pattern0.t ->
  (Parsetree.pattern, 'b, 'c) Ppxlib__.Ast_pattern0.t ->
  (Parsetree.pattern, 'a, 'c) Ppxlib__.Ast_pattern0.t

val ppat_attributes : 
  (Parsetree.attribute list, 'a, 'b) Ppxlib__.Ast_pattern0.t ->
  (Parsetree.pattern, 'b, 'c) Ppxlib__.Ast_pattern0.t ->
  (Parsetree.pattern, 'a, 'c) Ppxlib__.Ast_pattern0.t

val ppat_any : (Parsetree.pattern, 'a, 'a) Ppxlib__.Ast_pattern0.t

val ppat_var : 
  (string, 'a, 'b) Ppxlib__.Ast_pattern0.t ->
  (Parsetree.pattern, 'a, 'b) Ppxlib__.Ast_pattern0.t

val ppat_alias : 
  (Parsetree.pattern, 'a, 'b) Ppxlib__.Ast_pattern0.t ->
  (string, 'b, 'c) Ppxlib__.Ast_pattern0.t ->
  (Parsetree.pattern, 'a, 'c) Ppxlib__.Ast_pattern0.t

val ppat_constant : 
  (Parsetree.constant, 'a, 'b) Ppxlib__.Ast_pattern0.t ->
  (Parsetree.pattern, 'a, 'b) Ppxlib__.Ast_pattern0.t

val ppat_interval : 
  (Parsetree.constant, 'a, 'b) Ppxlib__.Ast_pattern0.t ->
  (Parsetree.constant, 'b, 'c) Ppxlib__.Ast_pattern0.t ->
  (Parsetree.pattern, 'a, 'c) Ppxlib__.Ast_pattern0.t

val ppat_tuple : 
  (Parsetree.pattern list, 'a, 'b) Ppxlib__.Ast_pattern0.t ->
  (Parsetree.pattern, 'a, 'b) Ppxlib__.Ast_pattern0.t

val ppat_construct : 
  (Astlib.Longident.t, 'a, 'b) Ppxlib__.Ast_pattern0.t ->
  ((string Astlib.Location.loc list * Parsetree.pattern) option, 'b, 'c)
    Ppxlib__.Ast_pattern0.t ->
  (Parsetree.pattern, 'a, 'c) Ppxlib__.Ast_pattern0.t

val ppat_variant : 
  (string, 'a, 'b) Ppxlib__.Ast_pattern0.t ->
  (Parsetree.pattern option, 'b, 'c) Ppxlib__.Ast_pattern0.t ->
  (Parsetree.pattern, 'a, 'c) Ppxlib__.Ast_pattern0.t

val ppat_record : 
  ((Astlib.Longident.t Astlib.Location.loc * Parsetree.pattern) list, 'a, 'b)
    Ppxlib__.Ast_pattern0.t ->
  (Asttypes.closed_flag, 'b, 'c) Ppxlib__.Ast_pattern0.t ->
  (Parsetree.pattern, 'a, 'c) Ppxlib__.Ast_pattern0.t

val ppat_array : 
  (Parsetree.pattern list, 'a, 'b) Ppxlib__.Ast_pattern0.t ->
  (Parsetree.pattern, 'a, 'b) Ppxlib__.Ast_pattern0.t

val ppat_or : 
  (Parsetree.pattern, 'a, 'b) Ppxlib__.Ast_pattern0.t ->
  (Parsetree.pattern, 'b, 'c) Ppxlib__.Ast_pattern0.t ->
  (Parsetree.pattern, 'a, 'c) Ppxlib__.Ast_pattern0.t

val ppat_constraint : 
  (Parsetree.pattern, 'a, 'b) Ppxlib__.Ast_pattern0.t ->
  (Parsetree.core_type, 'b, 'c) Ppxlib__.Ast_pattern0.t ->
  (Parsetree.pattern, 'a, 'c) Ppxlib__.Ast_pattern0.t

val ppat_type : 
  (Astlib.Longident.t, 'a, 'b) Ppxlib__.Ast_pattern0.t ->
  (Parsetree.pattern, 'a, 'b) Ppxlib__.Ast_pattern0.t

val ppat_lazy : 
  (Parsetree.pattern, 'a, 'b) Ppxlib__.Ast_pattern0.t ->
  (Parsetree.pattern, 'a, 'b) Ppxlib__.Ast_pattern0.t

val ppat_unpack : 
  (string option, 'a, 'b) Ppxlib__.Ast_pattern0.t ->
  (Parsetree.pattern, 'a, 'b) Ppxlib__.Ast_pattern0.t

val ppat_exception : 
  (Parsetree.pattern, 'a, 'b) Ppxlib__.Ast_pattern0.t ->
  (Parsetree.pattern, 'a, 'b) Ppxlib__.Ast_pattern0.t

val ppat_extension : 
  (string Astlib.Location.loc * Parsetree.payload, 'a, 'b)
    Ppxlib__.Ast_pattern0.t ->
  (Parsetree.pattern, 'a, 'b) Ppxlib__.Ast_pattern0.t

val ppat_open : 
  (Astlib.Longident.t, 'a, 'b) Ppxlib__.Ast_pattern0.t ->
  (Parsetree.pattern, 'b, 'c) Ppxlib__.Ast_pattern0.t ->
  (Parsetree.pattern, 'a, 'c) Ppxlib__.Ast_pattern0.t

val pstr : 
  (Parsetree.structure_item list, 'a, 'b) Ppxlib__.Ast_pattern0.t ->
  (Parsetree.payload, 'a, 'b) Ppxlib__.Ast_pattern0.t

val psig : 
  (Parsetree.signature_item list, 'a, 'b) Ppxlib__.Ast_pattern0.t ->
  (Parsetree.payload, 'a, 'b) Ppxlib__.Ast_pattern0.t

val ptyp : 
  (Parsetree.core_type, 'a, 'b) Ppxlib__.Ast_pattern0.t ->
  (Parsetree.payload, 'a, 'b) Ppxlib__.Ast_pattern0.t

val ppat : 
  (Parsetree.pattern, 'a, 'b) Ppxlib__.Ast_pattern0.t ->
  (Parsetree.expression option, 'b, 'c) Ppxlib__.Ast_pattern0.t ->
  (Parsetree.payload, 'a, 'c) Ppxlib__.Ast_pattern0.t

val position : 
  fname:(string, 'a, 'b) Ppxlib__.Ast_pattern0.t ->
  lnum:(int, 'b, 'c) Ppxlib__.Ast_pattern0.t ->
  bol:(int, 'c, 'd) Ppxlib__.Ast_pattern0.t ->
  cnum:(int, 'd, 'e) Ppxlib__.Ast_pattern0.t ->
  (Lexing.position, 'a, 'e) Ppxlib__.Ast_pattern0.t

val private_ : (Asttypes.private_flag, 'a, 'a) Ppxlib__.Ast_pattern0.t

val public : (Asttypes.private_flag, 'a, 'a) Ppxlib__.Ast_pattern0.t

val nonrecursive : (Asttypes.rec_flag, 'a, 'a) Ppxlib__.Ast_pattern0.t

val recursive : (Asttypes.rec_flag, 'a, 'a) Ppxlib__.Ast_pattern0.t

val prf_loc : 
  (Astlib.Location.t, 'a, 'b) Ppxlib__.Ast_pattern0.t ->
  (Parsetree.row_field, 'b, 'c) Ppxlib__.Ast_pattern0.t ->
  (Parsetree.row_field, 'a, 'c) Ppxlib__.Ast_pattern0.t

val prf_attributes : 
  (Parsetree.attribute list, 'a, 'b) Ppxlib__.Ast_pattern0.t ->
  (Parsetree.row_field, 'b, 'c) Ppxlib__.Ast_pattern0.t ->
  (Parsetree.row_field, 'a, 'c) Ppxlib__.Ast_pattern0.t

val rtag : 
  (string, 'a, 'b) Ppxlib__.Ast_pattern0.t ->
  (bool, 'b, 'c) Ppxlib__.Ast_pattern0.t ->
  (Parsetree.core_type list, 'c, 'd) Ppxlib__.Ast_pattern0.t ->
  (Parsetree.row_field, 'a, 'd) Ppxlib__.Ast_pattern0.t

val rinherit : 
  (Parsetree.core_type, 'a, 'b) Ppxlib__.Ast_pattern0.t ->
  (Parsetree.row_field, 'a, 'b) Ppxlib__.Ast_pattern0.t

val psig_loc : 
  (Astlib.Location.t, 'a, 'b) Ppxlib__.Ast_pattern0.t ->
  (Parsetree.signature_item, 'b, 'c) Ppxlib__.Ast_pattern0.t ->
  (Parsetree.signature_item, 'a, 'c) Ppxlib__.Ast_pattern0.t

val psig_value : 
  (Parsetree.value_description, 'a, 'b) Ppxlib__.Ast_pattern0.t ->
  (Parsetree.signature_item, 'a, 'b) Ppxlib__.Ast_pattern0.t

val psig_type : 
  (Asttypes.rec_flag, 'a, 'b) Ppxlib__.Ast_pattern0.t ->
  (Parsetree.type_declaration list, 'b, 'c) Ppxlib__.Ast_pattern0.t ->
  (Parsetree.signature_item, 'a, 'c) Ppxlib__.Ast_pattern0.t

val psig_typesubst : 
  (Parsetree.type_declaration list, 'a, 'b) Ppxlib__.Ast_pattern0.t ->
  (Parsetree.signature_item, 'a, 'b) Ppxlib__.Ast_pattern0.t

val psig_typext : 
  (Parsetree.type_extension, 'a, 'b) Ppxlib__.Ast_pattern0.t ->
  (Parsetree.signature_item, 'a, 'b) Ppxlib__.Ast_pattern0.t

val psig_exception : 
  (Parsetree.type_exception, 'a, 'b) Ppxlib__.Ast_pattern0.t ->
  (Parsetree.signature_item, 'a, 'b) Ppxlib__.Ast_pattern0.t

val psig_module : 
  (Parsetree.module_declaration, 'a, 'b) Ppxlib__.Ast_pattern0.t ->
  (Parsetree.signature_item, 'a, 'b) Ppxlib__.Ast_pattern0.t

val psig_modsubst : 
  (Parsetree.module_substitution, 'a, 'b) Ppxlib__.Ast_pattern0.t ->
  (Parsetree.signature_item, 'a, 'b) Ppxlib__.Ast_pattern0.t

val psig_recmodule : 
  (Parsetree.module_declaration list, 'a, 'b) Ppxlib__.Ast_pattern0.t ->
  (Parsetree.signature_item, 'a, 'b) Ppxlib__.Ast_pattern0.t

val psig_modtype : 
  (Parsetree.module_type_declaration, 'a, 'b) Ppxlib__.Ast_pattern0.t ->
  (Parsetree.signature_item, 'a, 'b) Ppxlib__.Ast_pattern0.t

val psig_modtypesubst : 
  (Parsetree.module_type_declaration, 'a, 'b) Ppxlib__.Ast_pattern0.t ->
  (Parsetree.signature_item, 'a, 'b) Ppxlib__.Ast_pattern0.t

val psig_open : 
  (Astlib.Longident.t Astlib.Location.loc Parsetree.open_infos, 'a, 'b)
    Ppxlib__.Ast_pattern0.t ->
  (Parsetree.signature_item, 'a, 'b) Ppxlib__.Ast_pattern0.t

val psig_include : 
  (Parsetree.module_type Parsetree.include_infos, 'a, 'b)
    Ppxlib__.Ast_pattern0.t ->
  (Parsetree.signature_item, 'a, 'b) Ppxlib__.Ast_pattern0.t

val psig_class : 
  (Parsetree.class_type Parsetree.class_infos list, 'a, 'b)
    Ppxlib__.Ast_pattern0.t ->
  (Parsetree.signature_item, 'a, 'b) Ppxlib__.Ast_pattern0.t

val psig_class_type : 
  (Parsetree.class_type Parsetree.class_infos list, 'a, 'b)
    Ppxlib__.Ast_pattern0.t ->
  (Parsetree.signature_item, 'a, 'b) Ppxlib__.Ast_pattern0.t

val psig_attribute : 
  (Parsetree.attribute, 'a, 'b) Ppxlib__.Ast_pattern0.t ->
  (Parsetree.signature_item, 'a, 'b) Ppxlib__.Ast_pattern0.t

val psig_extension : 
  (string Astlib.Location.loc * Parsetree.payload, 'a, 'b)
    Ppxlib__.Ast_pattern0.t ->
  (Parsetree.attribute list, 'b, 'c) Ppxlib__.Ast_pattern0.t ->
  (Parsetree.signature_item, 'a, 'c) Ppxlib__.Ast_pattern0.t

val pstr_loc : 
  (Astlib.Location.t, 'a, 'b) Ppxlib__.Ast_pattern0.t ->
  (Parsetree.structure_item, 'b, 'c) Ppxlib__.Ast_pattern0.t ->
  (Parsetree.structure_item, 'a, 'c) Ppxlib__.Ast_pattern0.t

val pstr_eval : 
  (Parsetree.expression, 'a, 'b) Ppxlib__.Ast_pattern0.t ->
  (Parsetree.attribute list, 'b, 'c) Ppxlib__.Ast_pattern0.t ->
  (Parsetree.structure_item, 'a, 'c) Ppxlib__.Ast_pattern0.t

val pstr_value : 
  (Asttypes.rec_flag, 'a, 'b) Ppxlib__.Ast_pattern0.t ->
  (Parsetree.value_binding list, 'b, 'c) Ppxlib__.Ast_pattern0.t ->
  (Parsetree.structure_item, 'a, 'c) Ppxlib__.Ast_pattern0.t

val pstr_primitive : 
  (Parsetree.value_description, 'a, 'b) Ppxlib__.Ast_pattern0.t ->
  (Parsetree.structure_item, 'a, 'b) Ppxlib__.Ast_pattern0.t

val pstr_type : 
  (Asttypes.rec_flag, 'a, 'b) Ppxlib__.Ast_pattern0.t ->
  (Parsetree.type_declaration list, 'b, 'c) Ppxlib__.Ast_pattern0.t ->
  (Parsetree.structure_item, 'a, 'c) Ppxlib__.Ast_pattern0.t

val pstr_typext : 
  (Parsetree.type_extension, 'a, 'b) Ppxlib__.Ast_pattern0.t ->
  (Parsetree.structure_item, 'a, 'b) Ppxlib__.Ast_pattern0.t

val pstr_exception : 
  (Parsetree.type_exception, 'a, 'b) Ppxlib__.Ast_pattern0.t ->
  (Parsetree.structure_item, 'a, 'b) Ppxlib__.Ast_pattern0.t

val pstr_module : 
  (Parsetree.module_binding, 'a, 'b) Ppxlib__.Ast_pattern0.t ->
  (Parsetree.structure_item, 'a, 'b) Ppxlib__.Ast_pattern0.t

val pstr_recmodule : 
  (Parsetree.module_binding list, 'a, 'b) Ppxlib__.Ast_pattern0.t ->
  (Parsetree.structure_item, 'a, 'b) Ppxlib__.Ast_pattern0.t

val pstr_modtype : 
  (Parsetree.module_type_declaration, 'a, 'b) Ppxlib__.Ast_pattern0.t ->
  (Parsetree.structure_item, 'a, 'b) Ppxlib__.Ast_pattern0.t

val pstr_open : 
  (Parsetree.module_expr Parsetree.open_infos, 'a, 'b) Ppxlib__.Ast_pattern0.t ->
  (Parsetree.structure_item, 'a, 'b) Ppxlib__.Ast_pattern0.t

val pstr_class : 
  (Parsetree.class_expr Parsetree.class_infos list, 'a, 'b)
    Ppxlib__.Ast_pattern0.t ->
  (Parsetree.structure_item, 'a, 'b) Ppxlib__.Ast_pattern0.t

val pstr_class_type : 
  (Parsetree.class_type Parsetree.class_infos list, 'a, 'b)
    Ppxlib__.Ast_pattern0.t ->
  (Parsetree.structure_item, 'a, 'b) Ppxlib__.Ast_pattern0.t

val pstr_include : 
  (Parsetree.module_expr Parsetree.include_infos, 'a, 'b)
    Ppxlib__.Ast_pattern0.t ->
  (Parsetree.structure_item, 'a, 'b) Ppxlib__.Ast_pattern0.t

val pstr_attribute : 
  (Parsetree.attribute, 'a, 'b) Ppxlib__.Ast_pattern0.t ->
  (Parsetree.structure_item, 'a, 'b) Ppxlib__.Ast_pattern0.t

val pstr_extension : 
  (string Astlib.Location.loc * Parsetree.payload, 'a, 'b)
    Ppxlib__.Ast_pattern0.t ->
  (Parsetree.attribute list, 'b, 'c) Ppxlib__.Ast_pattern0.t ->
  (Parsetree.structure_item, 'a, 'c) Ppxlib__.Ast_pattern0.t

val toplevel_directive : 
  name:(string, 'a, 'b) Ppxlib__.Ast_pattern0.t ->
  arg:(Parsetree.directive_argument option, 'b, 'c) Ppxlib__.Ast_pattern0.t ->
  (Parsetree.toplevel_directive, 'a, 'c) Ppxlib__.Ast_pattern0.t

val ptop_def : 
  (Parsetree.structure_item list, 'a, 'b) Ppxlib__.Ast_pattern0.t ->
  (Parsetree.toplevel_phrase, 'a, 'b) Ppxlib__.Ast_pattern0.t

val ptop_dir : 
  (Parsetree.toplevel_directive, 'a, 'b) Ppxlib__.Ast_pattern0.t ->
  (Parsetree.toplevel_phrase, 'a, 'b) Ppxlib__.Ast_pattern0.t

val type_declaration_attributes : 
  (Parsetree.attribute list, 'a, 'b) Ppxlib__.Ast_pattern0.t ->
  (Parsetree.type_declaration, 'b, 'c) Ppxlib__.Ast_pattern0.t ->
  (Parsetree.type_declaration, 'a, 'c) Ppxlib__.Ast_pattern0.t

val type_declaration : 
  name:(string, 'a, 'b) Ppxlib__.Ast_pattern0.t ->
  params:
    ((Parsetree.core_type * (Asttypes.variance * Asttypes.injectivity)) list,
      'b,
      'c)
      Ppxlib__.Ast_pattern0.t ->
  cstrs:
    ((Parsetree.core_type * Parsetree.core_type * Astlib.Location.t) list,
      'c,
      'd)
      Ppxlib__.Ast_pattern0.t ->
  kind:(Parsetree.type_kind, 'd, 'e) Ppxlib__.Ast_pattern0.t ->
  private_:(Asttypes.private_flag, 'e, 'f) Ppxlib__.Ast_pattern0.t ->
  manifest:(Parsetree.core_type option, 'f, 'g) Ppxlib__.Ast_pattern0.t ->
  (Parsetree.type_declaration, 'a, 'g) Ppxlib__.Ast_pattern0.t

val type_exception_attributes : 
  (Parsetree.attribute list, 'a, 'b) Ppxlib__.Ast_pattern0.t ->
  (Parsetree.type_exception, 'b, 'c) Ppxlib__.Ast_pattern0.t ->
  (Parsetree.type_exception, 'a, 'c) Ppxlib__.Ast_pattern0.t

val type_exception : 
  constructor:(Parsetree.extension_constructor, 'a, 'b) Ppxlib__.Ast_pattern0.t ->
  (Parsetree.type_exception, 'a, 'b) Ppxlib__.Ast_pattern0.t

val type_extension_attributes : 
  (Parsetree.attribute list, 'a, 'b) Ppxlib__.Ast_pattern0.t ->
  (Parsetree.type_extension, 'b, 'c) Ppxlib__.Ast_pattern0.t ->
  (Parsetree.type_extension, 'a, 'c) Ppxlib__.Ast_pattern0.t

val type_extension : 
  path:(Astlib.Longident.t, 'a, 'b) Ppxlib__.Ast_pattern0.t ->
  params:
    ((Parsetree.core_type * (Asttypes.variance * Asttypes.injectivity)) list,
      'b,
      'c)
      Ppxlib__.Ast_pattern0.t ->
  constructors:
    (Parsetree.extension_constructor list, 'c, 'd) Ppxlib__.Ast_pattern0.t ->
  private_:(Asttypes.private_flag, 'd, 'e) Ppxlib__.Ast_pattern0.t ->
  (Parsetree.type_extension, 'a, 'e) Ppxlib__.Ast_pattern0.t

val ptype_abstract : (Parsetree.type_kind, 'a, 'a) Ppxlib__.Ast_pattern0.t

val ptype_variant : 
  (Parsetree.constructor_declaration list, 'a, 'b) Ppxlib__.Ast_pattern0.t ->
  (Parsetree.type_kind, 'a, 'b) Ppxlib__.Ast_pattern0.t

val ptype_record : 
  (Parsetree.label_declaration list, 'a, 'b) Ppxlib__.Ast_pattern0.t ->
  (Parsetree.type_kind, 'a, 'b) Ppxlib__.Ast_pattern0.t

val ptype_open : (Parsetree.type_kind, 'a, 'a) Ppxlib__.Ast_pattern0.t

val value_binding_attributes : 
  (Parsetree.attribute list, 'a, 'b) Ppxlib__.Ast_pattern0.t ->
  (Parsetree.value_binding, 'b, 'c) Ppxlib__.Ast_pattern0.t ->
  (Parsetree.value_binding, 'a, 'c) Ppxlib__.Ast_pattern0.t

val value_binding : 
  pat:(Parsetree.pattern, 'a, 'b) Ppxlib__.Ast_pattern0.t ->
  expr:(Parsetree.expression, 'b, 'c) Ppxlib__.Ast_pattern0.t ->
  (Parsetree.value_binding, 'a, 'c) Ppxlib__.Ast_pattern0.t

val value_description_attributes : 
  (Parsetree.attribute list, 'a, 'b) Ppxlib__.Ast_pattern0.t ->
  (Parsetree.value_description, 'b, 'c) Ppxlib__.Ast_pattern0.t ->
  (Parsetree.value_description, 'a, 'c) Ppxlib__.Ast_pattern0.t

val value_description : 
  name:(string, 'a, 'b) Ppxlib__.Ast_pattern0.t ->
  type_:(Parsetree.core_type, 'b, 'c) Ppxlib__.Ast_pattern0.t ->
  prim:(string list, 'c, 'd) Ppxlib__.Ast_pattern0.t ->
  (Parsetree.value_description, 'a, 'd) Ppxlib__.Ast_pattern0.t

val covariant : (Asttypes.variance, 'a, 'a) Ppxlib__.Ast_pattern0.t

val contravariant : (Asttypes.variance, 'a, 'a) Ppxlib__.Ast_pattern0.t

val novariance : (Asttypes.variance, 'a, 'a) Ppxlib__.Ast_pattern0.t

val virtual_ : (Asttypes.virtual_flag, 'a, 'a) Ppxlib__.Ast_pattern0.t

val concrete : (Asttypes.virtual_flag, 'a, 'a) Ppxlib__.Ast_pattern0.t

val pwith_type : 
  (Astlib.Longident.t, 'a, 'b) Ppxlib__.Ast_pattern0.t ->
  (Parsetree.type_declaration, 'b, 'c) Ppxlib__.Ast_pattern0.t ->
  (Parsetree.with_constraint, 'a, 'c) Ppxlib__.Ast_pattern0.t

val pwith_module : 
  (Astlib.Longident.t, 'a, 'b) Ppxlib__.Ast_pattern0.t ->
  (Astlib.Longident.t, 'b, 'c) Ppxlib__.Ast_pattern0.t ->
  (Parsetree.with_constraint, 'a, 'c) Ppxlib__.Ast_pattern0.t

val pwith_modtype : 
  (Astlib.Longident.t, 'a, 'b) Ppxlib__.Ast_pattern0.t ->
  (Parsetree.module_type, 'b, 'c) Ppxlib__.Ast_pattern0.t ->
  (Parsetree.with_constraint, 'a, 'c) Ppxlib__.Ast_pattern0.t

val pwith_modtypesubst : 
  (Astlib.Longident.t, 'a, 'b) Ppxlib__.Ast_pattern0.t ->
  (Parsetree.module_type, 'b, 'c) Ppxlib__.Ast_pattern0.t ->
  (Parsetree.with_constraint, 'a, 'c) Ppxlib__.Ast_pattern0.t

val pwith_typesubst : 
  (Astlib.Longident.t, 'a, 'b) Ppxlib__.Ast_pattern0.t ->
  (Parsetree.type_declaration, 'b, 'c) Ppxlib__.Ast_pattern0.t ->
  (Parsetree.with_constraint, 'a, 'c) Ppxlib__.Ast_pattern0.t

val pwith_modsubst : 
  (Astlib.Longident.t, 'a, 'b) Ppxlib__.Ast_pattern0.t ->
  (Astlib.Longident.t, 'b, 'c) Ppxlib__.Ast_pattern0.t ->
  (Parsetree.with_constraint, 'a, 'c) Ppxlib__.Ast_pattern0.t

val true_ : (bool, 'a, 'a) t

val false_ : (bool, 'a, 'a) t

val eint : (int, 'a, 'b) t -> (Parsetree.expression, 'a, 'b) t

val echar : (char, 'a, 'b) t -> (Parsetree.expression, 'a, 'b) t

val estring : (string, 'a, 'b) t -> (Parsetree.expression, 'a, 'b) t

val efloat : (string, 'a, 'b) t -> (Parsetree.expression, 'a, 'b) t

val eint32 : (int32, 'a, 'b) t -> (Parsetree.expression, 'a, 'b) t

val eint64 : (int64, 'a, 'b) t -> (Parsetree.expression, 'a, 'b) t

val enativeint : (nativeint, 'a, 'b) t -> (Parsetree.expression, 'a, 'b) t

val pint : (int, 'a, 'b) t -> (Parsetree.pattern, 'a, 'b) t

val pchar : (char, 'a, 'b) t -> (Parsetree.pattern, 'a, 'b) t

val pstring : (string, 'a, 'b) t -> (Parsetree.pattern, 'a, 'b) t

val pfloat : (string, 'a, 'b) t -> (Parsetree.pattern, 'a, 'b) t

val pint32 : (int32, 'a, 'b) t -> (Parsetree.pattern, 'a, 'b) t

val pint64 : (int64, 'a, 'b) t -> (Parsetree.pattern, 'a, 'b) t

val pnativeint : (nativeint, 'a, 'b) t -> (Parsetree.pattern, 'a, 'b) t

val single_expr_payload : 
  (Parsetree.expression, 'a, 'b) t ->
  (Parsetree.payload, 'a, 'b) t

val no_label : 
  (Parsetree.expression, 'a, 'b) t ->
  (Asttypes.arg_label * Parsetree.expression, 'a, 'b) t

val attribute : 
  name:(string, 'a, 'b) t ->
  payload:(Parsetree.payload, 'b, 'c) t ->
  (Parsetree.attribute, 'a, 'c) t

val extension : 
  (string, 'a, 'b) t ->
  (Parsetree.payload, 'b, 'c) t ->
  (string Astlib.Location.loc * Parsetree.payload, 'a, 'c) t

val elist : 
  (Parsetree.expression, 'a -> 'a, 'b) t ->
  (Parsetree.expression, 'b list -> 'c, 'c) t

val esequence : 
  (Parsetree.expression, 'a -> 'a, 'b) t ->
  (Parsetree.expression, 'b list -> 'c, 'c) t

type context

val of_func : 
  (context -> Astlib.Location.t -> 'a -> 'b -> 'c) ->
  ('a, 'b, 'c) t

val to_func : ('a, 'b, 'c) t -> context -> Astlib.Location.t -> 'a -> 'b -> 'c