Module `Deriving.Args`Source

Specification of generator arguments

Sourcetype ('a, 'b) t

Sourcetype 'a param

Sourceval empty : ('m, 'm) Ppxlib.Deriving.Args.t

val arg : 
  string ->
  (Astlib.Ast_500.Parsetree.expression, 'a -> 'a option, 'a option)
    Ppxlib.Ast_pattern.t ->
  'a option Ppxlib.Deriving.Args.param

Sourceval flag : string -> bool Ppxlib.Deriving.Args.param

Flag matches punned labelled argument, i.e. of the form ~foo. It returns true iff the argument is present.

Source

val (+>) : 
  ('m1, 'a -> 'm2) Ppxlib.Deriving.Args.t ->
  'a Ppxlib.Deriving.Args.param ->
  ('m1, 'm2) Ppxlib.Deriving.Args.t

For convenience, so that one can write the following without having to open both Ast_pattern and Deriving.Args:

  Deriving.Args.(
    empty
    +> arg_option "foo" (estring __)
    +> arg_option "bar" (pack2 (eint __ ** eint __))
    +> flag "dotdotdot")

include module type of struct include Ppxlib.Ast_pattern end
  with type ('a, 'b, 'c) t := ('a, 'b, 'c) Ppxlib.Ast_pattern.t

Link to the tutorial

For a detailed explanation on this module, refer to the relevant part of the manual.

API

Source

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

Matches a value against a pattern. Raise a located error in case of failure.

Source

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

Matches a value against a pattern and return a result.

Sourcemodule Packed = Ppxlib.Ast_pattern.Packed

Sourceval __ : ('a, 'a -> 'b, 'b) Ppxlib.Ast_pattern.t

Pattern that captures its input.

Sourceval __' : ('a, 'a Ppxlib.Loc.t -> 'b, 'b) Ppxlib.Ast_pattern.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.

Sourceval drop : ('a, 'b, 'b) Ppxlib.Ast_pattern.t

Useful when some part of the AST is irrelevant. With __, the captured value is passed to the continuation, with drop it is ignored. In higher-level pattern matching, it is called wildcard pattern.

Source

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

As-pattern. Passes the current node to the continuation.

Pitfall. In general, the continuation is called step by step by being applied partially to every next captured node in the pattern. That means that the node captured by as__ is passed to the continuation before checking if the pattern is matched.

Source

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

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

Source

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

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

Source

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

Same as alt

Source

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

Source

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

Source

val map_result : 
  ('a, 'b, 'c) Ppxlib.Ast_pattern.t ->
  f:('c -> 'd) ->
  ('a, 'b, 'd) Ppxlib.Ast_pattern.t

Source

val (>>|) : 
  ('a, 'b, 'c) Ppxlib.Ast_pattern.t ->
  ('d -> 'b) ->
  ('a, 'd, 'c) Ppxlib.Ast_pattern.t

Same as map

Source

val map0 : 
  ('a, 'b, 'c) Ppxlib.Ast_pattern.t ->
  f:'v ->
  ('a, 'v -> 'b, 'c) Ppxlib.Ast_pattern.t

Source

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

Source

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

Source

val map3 : 
  ('a, 'v1 -> 'v2 -> 'v3 -> 'b, 'c) Ppxlib.Ast_pattern.t ->
  f:('v1 -> 'v2 -> 'v3 -> 'v) ->
  ('a, 'v -> 'b, 'c) Ppxlib.Ast_pattern.t

Source

val map0' : 
  ('a, 'b, 'c) Ppxlib.Ast_pattern.t ->
  f:(Ppxlib.Location.t -> 'v) ->
  ('a, 'v -> 'b, 'c) Ppxlib.Ast_pattern.t

Source

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

Source

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

Source

val map3' : 
  ('a, 'v1 -> 'v2 -> 'v3 -> 'b, 'c) Ppxlib.Ast_pattern.t ->
  f:(Ppxlib.Location.t -> 'v1 -> 'v2 -> 'v3 -> 'v) ->
  ('a, 'v -> 'b, 'c) Ppxlib.Ast_pattern.t

Source

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

Source

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

Sourceval nil : (_ list, 'a, 'a) Ppxlib.Ast_pattern.t

Source

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

Source

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

Sourceval int : int -> (int, 'a, 'a) Ppxlib.Ast_pattern.t

Sourceval char : char -> (char, 'a, 'a) Ppxlib.Ast_pattern.t

Sourceval string : string -> (string, 'a, 'a) Ppxlib.Ast_pattern.t

Sourceval float : float -> (float, 'a, 'a) Ppxlib.Ast_pattern.t

Sourceval int32 : int32 -> (int32, 'a, 'a) Ppxlib.Ast_pattern.t

Sourceval int64 : int64 -> (int64, 'a, 'a) Ppxlib.Ast_pattern.t

Sourceval nativeint : nativeint -> (nativeint, 'a, 'a) Ppxlib.Ast_pattern.t

Sourceval bool : bool -> (bool, 'a, 'a) Ppxlib.Ast_pattern.t

Source

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

Source

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

Source

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

Sourceval none : (_ option, 'a, 'a) Ppxlib.Ast_pattern.t

Source

val some : 
  ('a, 'b, 'c) Ppxlib.Ast_pattern.t ->
  ('a option, 'b, 'c) Ppxlib.Ast_pattern.t

Source

val pair : 
  ('a1, 'b, 'c) Ppxlib.Ast_pattern.t ->
  ('a2, 'c, 'd) Ppxlib.Ast_pattern.t ->
  ('a1 * 'a2, 'b, 'd) Ppxlib.Ast_pattern.t

Source

val (**) : 
  ('a1, 'b, 'c) Ppxlib.Ast_pattern.t ->
  ('a2, 'c, 'd) Ppxlib.Ast_pattern.t ->
  ('a1 * 'a2, 'b, 'd) Ppxlib.Ast_pattern.t

Source

val triple : 
  ('a1, 'b, 'c) Ppxlib.Ast_pattern.t ->
  ('a2, 'c, 'd) Ppxlib.Ast_pattern.t ->
  ('a3, 'd, 'e) Ppxlib.Ast_pattern.t ->
  ('a1 * 'a2 * 'a3, 'b, 'e) Ppxlib.Ast_pattern.t

Source

val loc : 
  ('a, 'b, 'c) Ppxlib.Ast_pattern.t ->
  ('a Ppxlib.Loc.t, 'b, 'c) Ppxlib.Ast_pattern.t

Source

val pack0 : 
  ('a, 'b, 'c) Ppxlib.Ast_pattern.t ->
  ('a, unit -> 'b, 'c) Ppxlib.Ast_pattern.t

Source

val pack2 : 
  ('a, 'b -> 'c -> 'd, 'e) Ppxlib.Ast_pattern.t ->
  ('a, ('b * 'c) -> 'd, 'e) Ppxlib.Ast_pattern.t

Source

val pack3 : 
  ('a, 'b -> 'c -> 'd -> 'e, 'f) Ppxlib.Ast_pattern.t ->
  ('a, ('b * 'c * 'd) -> 'e, 'f) Ppxlib.Ast_pattern.t

AST patterns for each constructor/record of the parsetree are generated in the same way AST builders are generated. In addition, for every wrapper we generate a pattern to match the loc and attributes fields. For instance 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

Source

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

Source

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

Source

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

Source

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

Source

val baccess_field : 
  (Astlib.Longident.t, 'a, 'b) Ppxlib__.Ast_pattern0.t ->
  (Astlib.Ast_500.Parsetree.block_access, 'a, 'b) Ppxlib__.Ast_pattern0.t

Source

val baccess_array : 
  (Astlib.Ast_500.Asttypes.mutable_flag, 'a, 'b) Ppxlib__.Ast_pattern0.t ->
  (Astlib.Ast_500.Asttypes.index_kind, 'b, 'c) Ppxlib__.Ast_pattern0.t ->
  (Astlib.Ast_500.Parsetree.expression, 'c, 'd) Ppxlib__.Ast_pattern0.t ->
  (Astlib.Ast_500.Parsetree.block_access, 'a, 'd) Ppxlib__.Ast_pattern0.t

Source

val baccess_block : 
  (Astlib.Ast_500.Asttypes.mutable_flag, 'a, 'b) Ppxlib__.Ast_pattern0.t ->
  (Astlib.Ast_500.Parsetree.expression, 'b, 'c) Ppxlib__.Ast_pattern0.t ->
  (Astlib.Ast_500.Parsetree.block_access, 'a, 'c) Ppxlib__.Ast_pattern0.t

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

val class_infos : 
  virt:(Astlib.Ast_500.Asttypes.virtual_flag, 'a, 'b) Ppxlib__.Ast_pattern0.t ->
  params:
    ((Astlib.Ast_500.Parsetree.core_type
      * (Astlib.Ast_500.Asttypes.variance * Astlib.Ast_500.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 Astlib.Ast_500.Parsetree.class_infos, 'a, 'f) Ppxlib__.Ast_pattern0.t

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

val comprehension : 
  body:(Astlib.Ast_500.Parsetree.expression, 'a, 'b) Ppxlib__.Ast_pattern0.t ->
  clauses:
    (Astlib.Ast_500.Parsetree.comprehension_clause list, 'b, 'c)
      Ppxlib__.Ast_pattern0.t ->
  (Astlib.Ast_500.Parsetree.comprehension, 'a, 'c) Ppxlib__.Ast_pattern0.t

Source

val pcomp_for : 
  (Astlib.Ast_500.Parsetree.comprehension_clause_binding list, 'a, 'b)
    Ppxlib__.Ast_pattern0.t ->
  (Astlib.Ast_500.Parsetree.comprehension_clause, 'a, 'b)
    Ppxlib__.Ast_pattern0.t

Source

val pcomp_when : 
  (Astlib.Ast_500.Parsetree.expression, 'a, 'b) Ppxlib__.Ast_pattern0.t ->
  (Astlib.Ast_500.Parsetree.comprehension_clause, 'a, 'b)
    Ppxlib__.Ast_pattern0.t

Source

val comprehension_clause_binding : 
  cb_pattern:(Astlib.Ast_500.Parsetree.pattern, 'a, 'b) Ppxlib__.Ast_pattern0.t ->
  cb_iterator:
    (Astlib.Ast_500.Parsetree.comprehension_iterator, 'b, 'c)
      Ppxlib__.Ast_pattern0.t ->
  cb_attributes:
    (Astlib.Ast_500.Parsetree.attribute list, 'c, 'd) Ppxlib__.Ast_pattern0.t ->
  (Astlib.Ast_500.Parsetree.comprehension_clause_binding, 'a, 'd)
    Ppxlib__.Ast_pattern0.t

Source

val pcomp_list_comprehension : 
  (Astlib.Ast_500.Parsetree.comprehension, 'a, 'b) Ppxlib__.Ast_pattern0.t ->
  (Astlib.Ast_500.Parsetree.comprehension_expression, 'a, 'b)
    Ppxlib__.Ast_pattern0.t

Source

val pcomp_array_comprehension : 
  (Astlib.Ast_500.Asttypes.mutable_flag, 'a, 'b) Ppxlib__.Ast_pattern0.t ->
  (Astlib.Ast_500.Parsetree.comprehension, 'b, 'c) Ppxlib__.Ast_pattern0.t ->
  (Astlib.Ast_500.Parsetree.comprehension_expression, 'a, 'c)
    Ppxlib__.Ast_pattern0.t

Source

val pcomp_in : 
  (Astlib.Ast_500.Parsetree.expression, 'a, 'b) Ppxlib__.Ast_pattern0.t ->
  (Astlib.Ast_500.Parsetree.comprehension_iterator, 'a, 'b)
    Ppxlib__.Ast_pattern0.t

Source

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

Source

val pconst_unboxed_integer : 
  (string, 'a, 'b) Ppxlib__.Ast_pattern0.t ->
  (char, 'b, 'c) Ppxlib__.Ast_pattern0.t ->
  (Astlib.Ast_500.Parsetree.constant, 'a, 'c) Ppxlib__.Ast_pattern0.t

Source

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

Source

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

Source

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 ->
  (Astlib.Ast_500.Parsetree.constant, 'a, 'd) Ppxlib__.Ast_pattern0.t

Source

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

Source

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

Source

val constructor_argument : 
  modalities:
    (Astlib.Ast_500.Parsetree.modality Astlib.Location.loc list, 'a, 'b)
      Ppxlib__.Ast_pattern0.t ->
  type_:(Astlib.Ast_500.Parsetree.core_type, 'b, 'c) Ppxlib__.Ast_pattern0.t ->
  (Astlib.Ast_500.Parsetree.constructor_argument, 'a, 'c)
    Ppxlib__.Ast_pattern0.t

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

val ptyp_any : 
  (Astlib.Ast_500.Parsetree.jkind_annotation option, 'a, 'b)
    Ppxlib__.Ast_pattern0.t ->
  (Astlib.Ast_500.Parsetree.core_type, 'a, 'b) Ppxlib__.Ast_pattern0.t

Source

val ptyp_unboxed_tuple : 
  ((string option * Astlib.Ast_500.Parsetree.core_type) list, 'a, 'b)
    Ppxlib__.Ast_pattern0.t ->
  (Astlib.Ast_500.Parsetree.core_type, 'a, 'b) Ppxlib__.Ast_pattern0.t

Source

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

Source

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

Source

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

Source

val ptyp_alias : 
  (Astlib.Ast_500.Parsetree.core_type, 'a, 'b) Ppxlib__.Ast_pattern0.t ->
  (string Astlib.Location.loc option, 'b, 'c) Ppxlib__.Ast_pattern0.t ->
  (Astlib.Ast_500.Parsetree.jkind_annotation option, 'c, 'd)
    Ppxlib__.Ast_pattern0.t ->
  (Astlib.Ast_500.Parsetree.core_type, 'a, 'd) Ppxlib__.Ast_pattern0.t

Source

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

Source

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

Source

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

Source

val ptyp_quote : 
  (Astlib.Ast_500.Parsetree.core_type, 'a, 'b) Ppxlib__.Ast_pattern0.t ->
  (Astlib.Ast_500.Parsetree.core_type, 'a, 'b) Ppxlib__.Ast_pattern0.t

Source

val ptyp_splice : 
  (Astlib.Ast_500.Parsetree.core_type, 'a, 'b) Ppxlib__.Ast_pattern0.t ->
  (Astlib.Ast_500.Parsetree.core_type, 'a, 'b) Ppxlib__.Ast_pattern0.t

Source

val ptyp_of_kind : 
  (Astlib.Ast_500.Parsetree.jkind_annotation, 'a, 'b) Ppxlib__.Ast_pattern0.t ->
  (Astlib.Ast_500.Parsetree.core_type, 'a, 'b) Ppxlib__.Ast_pattern0.t

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

val pexp_unboxed_tuple : 
  ((string option * Astlib.Ast_500.Parsetree.expression) list, 'a, 'b)
    Ppxlib__.Ast_pattern0.t ->
  (Astlib.Ast_500.Parsetree.expression, 'a, 'b) Ppxlib__.Ast_pattern0.t

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

val pexp_array : 
  (Astlib.Ast_500.Asttypes.mutable_flag, 'a, 'b) Ppxlib__.Ast_pattern0.t ->
  (Astlib.Ast_500.Parsetree.expression list, 'b, 'c) Ppxlib__.Ast_pattern0.t ->
  (Astlib.Ast_500.Parsetree.expression, 'a, 'c) Ppxlib__.Ast_pattern0.t

Source

val pexp_idx : 
  (Astlib.Ast_500.Parsetree.block_access, 'a, 'b) Ppxlib__.Ast_pattern0.t ->
  (Astlib.Ast_500.Parsetree.unboxed_access list, 'b, 'c)
    Ppxlib__.Ast_pattern0.t ->
  (Astlib.Ast_500.Parsetree.expression, 'a, 'c) Ppxlib__.Ast_pattern0.t

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

val pexp_newtype : 
  (string, 'a, 'b) Ppxlib__.Ast_pattern0.t ->
  (Astlib.Ast_500.Parsetree.jkind_annotation option, 'b, 'c)
    Ppxlib__.Ast_pattern0.t ->
  (Astlib.Ast_500.Parsetree.expression, 'c, 'd) Ppxlib__.Ast_pattern0.t ->
  (Astlib.Ast_500.Parsetree.expression, 'a, 'd) Ppxlib__.Ast_pattern0.t

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

val pexp_comprehension : 
  (Astlib.Ast_500.Parsetree.comprehension_expression, 'a, 'b)
    Ppxlib__.Ast_pattern0.t ->
  (Astlib.Ast_500.Parsetree.expression, 'a, 'b) Ppxlib__.Ast_pattern0.t

Source

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

Source

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

Source

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

Source

val pexp_hole : 
  (Astlib.Ast_500.Parsetree.expression, 'a, 'a) Ppxlib__.Ast_pattern0.t

Source

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

Source

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

Source

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

Source

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

Source

val pfunction_body : 
  (Astlib.Ast_500.Parsetree.expression, 'a, 'b) Ppxlib__.Ast_pattern0.t ->
  (Astlib.Ast_500.Parsetree.function_body, 'a, 'b) Ppxlib__.Ast_pattern0.t

Source

val pfunction_cases : 
  (Astlib.Ast_500.Parsetree.case list, 'a, 'b) Ppxlib__.Ast_pattern0.t ->
  (Astlib.Location.t, 'b, 'c) Ppxlib__.Ast_pattern0.t ->
  (Astlib.Ast_500.Parsetree.attribute list, 'c, 'd) Ppxlib__.Ast_pattern0.t ->
  (Astlib.Ast_500.Parsetree.function_body, 'a, 'd) Ppxlib__.Ast_pattern0.t

Source

val function_constraint : 
  mode_annotations:
    (Astlib.Ast_500.Parsetree.mode Astlib.Location.loc list, 'a, 'b)
      Ppxlib__.Ast_pattern0.t ->
  ret_mode_annotations:
    (Astlib.Ast_500.Parsetree.mode Astlib.Location.loc list, 'b, 'c)
      Ppxlib__.Ast_pattern0.t ->
  ret_type_constraint:
    (Astlib.Ast_500.Parsetree.type_constraint option, 'c, 'd)
      Ppxlib__.Ast_pattern0.t ->
  (Astlib.Ast_500.Parsetree.function_constraint, 'a, 'd)
    Ppxlib__.Ast_pattern0.t

Source

val pparam_loc : 
  (Astlib.Location.t, 'a, 'b) Ppxlib__.Ast_pattern0.t ->
  (Astlib.Ast_500.Parsetree.function_param, 'b, 'c) Ppxlib__.Ast_pattern0.t ->
  (Astlib.Ast_500.Parsetree.function_param, 'a, 'c) Ppxlib__.Ast_pattern0.t

Source

val pparam_val : 
  (Astlib.Ast_500.Asttypes.arg_label, 'a, 'b) Ppxlib__.Ast_pattern0.t ->
  (Astlib.Ast_500.Parsetree.expression option, 'b, 'c) Ppxlib__.Ast_pattern0.t ->
  (Astlib.Ast_500.Parsetree.pattern, 'c, 'd) Ppxlib__.Ast_pattern0.t ->
  (Astlib.Ast_500.Parsetree.function_param, 'a, 'd) Ppxlib__.Ast_pattern0.t

Source

val pparam_newtype : 
  (string, 'a, 'b) Ppxlib__.Ast_pattern0.t ->
  (Astlib.Ast_500.Parsetree.jkind_annotation option, 'b, 'c)
    Ppxlib__.Ast_pattern0.t ->
  (Astlib.Ast_500.Parsetree.function_param, 'a, 'c) Ppxlib__.Ast_pattern0.t

Source

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

Source

val named : 
  (string option, 'a, 'b) Ppxlib__.Ast_pattern0.t ->
  (Astlib.Ast_500.Parsetree.module_type, 'b, 'c) Ppxlib__.Ast_pattern0.t ->
  (Astlib.Ast_500.Parsetree.mode Astlib.Location.loc list, 'c, 'd)
    Ppxlib__.Ast_pattern0.t ->
  (Astlib.Ast_500.Parsetree.functor_parameter, 'a, 'd) Ppxlib__.Ast_pattern0.t

Source

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

Source

val include_infos : 
  kind:(Astlib.Ast_500.Parsetree.include_kind, 'a, 'b) Ppxlib__.Ast_pattern0.t ->
  mod_:('c, 'b, 'd) Ppxlib__.Ast_pattern0.t ->
  ('c Astlib.Ast_500.Parsetree.include_infos, 'a, 'd) Ppxlib__.Ast_pattern0.t

Source

val structure : 
  (Astlib.Ast_500.Parsetree.include_kind, 'a, 'a) Ppxlib__.Ast_pattern0.t

Source

val functor_ : 
  (Astlib.Ast_500.Parsetree.include_kind, 'a, 'a) Ppxlib__.Ast_pattern0.t

Source

val index_int : 
  (Astlib.Ast_500.Asttypes.index_kind, 'a, 'a) Ppxlib__.Ast_pattern0.t

Source

val index_unboxed_int64 : 
  (Astlib.Ast_500.Asttypes.index_kind, 'a, 'a) Ppxlib__.Ast_pattern0.t

Source

val index_unboxed_int32 : 
  (Astlib.Ast_500.Asttypes.index_kind, 'a, 'a) Ppxlib__.Ast_pattern0.t

Source

val index_unboxed_int16 : 
  (Astlib.Ast_500.Asttypes.index_kind, 'a, 'a) Ppxlib__.Ast_pattern0.t

Source

val index_unboxed_int8 : 
  (Astlib.Ast_500.Asttypes.index_kind, 'a, 'a) Ppxlib__.Ast_pattern0.t

Source

val index_unboxed_nativeint : 
  (Astlib.Ast_500.Asttypes.index_kind, 'a, 'a) Ppxlib__.Ast_pattern0.t

Source

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

Source

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

Source

val pjkind_loc : 
  (Astlib.Location.t, 'a, 'b) Ppxlib__.Ast_pattern0.t ->
  (Astlib.Ast_500.Parsetree.jkind_annotation, 'b, 'c) Ppxlib__.Ast_pattern0.t ->
  (Astlib.Ast_500.Parsetree.jkind_annotation, 'a, 'c) Ppxlib__.Ast_pattern0.t

Source

val pjk_default : 
  (Astlib.Ast_500.Parsetree.jkind_annotation, 'a, 'a) Ppxlib__.Ast_pattern0.t

Source

val pjk_abbreviation : 
  (string, 'a, 'b) Ppxlib__.Ast_pattern0.t ->
  (Astlib.Ast_500.Parsetree.jkind_annotation, 'a, 'b) Ppxlib__.Ast_pattern0.t

Source

val pjk_mod : 
  (Astlib.Ast_500.Parsetree.jkind_annotation, 'a, 'b) Ppxlib__.Ast_pattern0.t ->
  (Astlib.Ast_500.Parsetree.mode Astlib.Location.loc list, 'b, 'c)
    Ppxlib__.Ast_pattern0.t ->
  (Astlib.Ast_500.Parsetree.jkind_annotation, 'a, 'c) Ppxlib__.Ast_pattern0.t

Source

val pjk_with : 
  (Astlib.Ast_500.Parsetree.jkind_annotation, 'a, 'b) Ppxlib__.Ast_pattern0.t ->
  (Astlib.Ast_500.Parsetree.core_type, 'b, 'c) Ppxlib__.Ast_pattern0.t ->
  (Astlib.Ast_500.Parsetree.modality Astlib.Location.loc list, 'c, 'd)
    Ppxlib__.Ast_pattern0.t ->
  (Astlib.Ast_500.Parsetree.jkind_annotation, 'a, 'd) Ppxlib__.Ast_pattern0.t

Source

val pjk_kind_of : 
  (Astlib.Ast_500.Parsetree.core_type, 'a, 'b) Ppxlib__.Ast_pattern0.t ->
  (Astlib.Ast_500.Parsetree.jkind_annotation, 'a, 'b) Ppxlib__.Ast_pattern0.t

Source

val pjk_product : 
  (Astlib.Ast_500.Parsetree.jkind_annotation list, 'a, 'b)
    Ppxlib__.Ast_pattern0.t ->
  (Astlib.Ast_500.Parsetree.jkind_annotation, 'a, 'b) Ppxlib__.Ast_pattern0.t

Source

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

Source

val label_declaration : 
  name:(string, 'a, 'b) Ppxlib__.Ast_pattern0.t ->
  mutable_:
    (Astlib.Ast_500.Asttypes.mutable_flag, 'b, 'c) Ppxlib__.Ast_pattern0.t ->
  modalities:
    (Astlib.Ast_500.Parsetree.modality Astlib.Location.loc list, 'c, 'd)
      Ppxlib__.Ast_pattern0.t ->
  type_:(Astlib.Ast_500.Parsetree.core_type, 'd, 'e) Ppxlib__.Ast_pattern0.t ->
  (Astlib.Ast_500.Parsetree.label_declaration, 'a, 'e) Ppxlib__.Ast_pattern0.t

Source

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

Source

val location : 
  start:(Stdlib.Lexing.position, 'a, 'b) Ppxlib__.Ast_pattern0.t ->
  end_:(Stdlib.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

Source

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

Source

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

Source

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

Source

val modality : 
  (string, 'a, 'b) Ppxlib__.Ast_pattern0.t ->
  (Astlib.Ast_500.Parsetree.modality, 'a, 'b) Ppxlib__.Ast_pattern0.t

Source

val mode : 
  (string, 'a, 'b) Ppxlib__.Ast_pattern0.t ->
  (Astlib.Ast_500.Parsetree.mode, 'a, 'b) Ppxlib__.Ast_pattern0.t

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

val pmod_constraint : 
  (Astlib.Ast_500.Parsetree.module_expr, 'a, 'b) Ppxlib__.Ast_pattern0.t ->
  (Astlib.Ast_500.Parsetree.module_type option, 'b, 'c) Ppxlib__.Ast_pattern0.t ->
  (Astlib.Ast_500.Parsetree.mode Astlib.Location.loc list, 'c, 'd)
    Ppxlib__.Ast_pattern0.t ->
  (Astlib.Ast_500.Parsetree.module_expr, 'a, 'd) Ppxlib__.Ast_pattern0.t

Source

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

Source

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

Source

val pmod_instance : 
  (Astlib.Ast_500.Parsetree.module_instance, 'a, 'b) Ppxlib__.Ast_pattern0.t ->
  (Astlib.Ast_500.Parsetree.module_expr, 'a, 'b) Ppxlib__.Ast_pattern0.t

Source

val module_instance : 
  instance_head:(string, 'a, 'b) Ppxlib__.Ast_pattern0.t ->
  instance_args:
    ((string * Astlib.Ast_500.Parsetree.module_instance) list, 'b, 'c)
      Ppxlib__.Ast_pattern0.t ->
  (Astlib.Ast_500.Parsetree.module_instance, 'a, 'c) Ppxlib__.Ast_pattern0.t

Source

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

Source

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

Source

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

Source

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

Source

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

Source

val pmty_signature : 
  (Astlib.Ast_500.Parsetree.signature, 'a, 'b) Ppxlib__.Ast_pattern0.t ->
  (Astlib.Ast_500.Parsetree.module_type, 'a, 'b) Ppxlib__.Ast_pattern0.t

Source

val pmty_functor : 
  (Astlib.Ast_500.Parsetree.functor_parameter, 'a, 'b) Ppxlib__.Ast_pattern0.t ->
  (Astlib.Ast_500.Parsetree.module_type, 'b, 'c) Ppxlib__.Ast_pattern0.t ->
  (Astlib.Ast_500.Parsetree.mode Astlib.Location.loc list, 'c, 'd)
    Ppxlib__.Ast_pattern0.t ->
  (Astlib.Ast_500.Parsetree.module_type, 'a, 'd) Ppxlib__.Ast_pattern0.t

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

val ppat_unboxed_tuple : 
  ((string option * Astlib.Ast_500.Parsetree.pattern) list, 'a, 'b)
    Ppxlib__.Ast_pattern0.t ->
  (Astlib.Ast_500.Asttypes.closed_flag, 'b, 'c) Ppxlib__.Ast_pattern0.t ->
  (Astlib.Ast_500.Parsetree.pattern, 'a, 'c) Ppxlib__.Ast_pattern0.t

Source

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

Source

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

Source

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

Source

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

Source

val ppat_array : 
  (Astlib.Ast_500.Asttypes.mutable_flag, 'a, 'b) Ppxlib__.Ast_pattern0.t ->
  (Astlib.Ast_500.Parsetree.pattern list, 'b, 'c) Ppxlib__.Ast_pattern0.t ->
  (Astlib.Ast_500.Parsetree.pattern, 'a, 'c) Ppxlib__.Ast_pattern0.t

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

val psig : 
  (Astlib.Ast_500.Parsetree.signature, 'a, 'b) Ppxlib__.Ast_pattern0.t ->
  (Astlib.Ast_500.Parsetree.payload, 'a, 'b) Ppxlib__.Ast_pattern0.t

Source

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

Source

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

Source

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 ->
  (Stdlib.Lexing.position, 'a, 'e) Ppxlib__.Ast_pattern0.t

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

val psig_include : 
  (Astlib.Ast_500.Parsetree.module_type Astlib.Ast_500.Parsetree.include_infos,
    'a,
    'b)
    Ppxlib__.Ast_pattern0.t ->
  (Astlib.Ast_500.Parsetree.modality Astlib.Location.loc list, 'b, 'c)
    Ppxlib__.Ast_pattern0.t ->
  (Astlib.Ast_500.Parsetree.signature_item, 'a, 'c) Ppxlib__.Ast_pattern0.t

Source

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

Source

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

Source

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

Source

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

Source

val psig_kind_abbrev : 
  (string, 'a, 'b) Ppxlib__.Ast_pattern0.t ->
  (Astlib.Ast_500.Parsetree.jkind_annotation, 'b, 'c) Ppxlib__.Ast_pattern0.t ->
  (Astlib.Ast_500.Parsetree.signature_item, 'a, 'c) Ppxlib__.Ast_pattern0.t

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

val pstr_kind_abbrev : 
  (string, 'a, 'b) Ppxlib__.Ast_pattern0.t ->
  (Astlib.Ast_500.Parsetree.jkind_annotation, 'b, 'c) Ppxlib__.Ast_pattern0.t ->
  (Astlib.Ast_500.Parsetree.structure_item, 'a, 'c) Ppxlib__.Ast_pattern0.t

Source

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

Source

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

Source

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

Source

val pconstraint : 
  (Astlib.Ast_500.Parsetree.core_type, 'a, 'b) Ppxlib__.Ast_pattern0.t ->
  (Astlib.Ast_500.Parsetree.type_constraint, 'a, 'b) Ppxlib__.Ast_pattern0.t

Source

val pcoerce : 
  (Astlib.Ast_500.Parsetree.core_type option, 'a, 'b) Ppxlib__.Ast_pattern0.t ->
  (Astlib.Ast_500.Parsetree.core_type, 'b, 'c) Ppxlib__.Ast_pattern0.t ->
  (Astlib.Ast_500.Parsetree.type_constraint, 'a, 'c) Ppxlib__.Ast_pattern0.t

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

val uaccess_unboxed_field : 
  (Astlib.Longident.t, 'a, 'b) Ppxlib__.Ast_pattern0.t ->
  (Astlib.Ast_500.Parsetree.unboxed_access, 'a, 'b) Ppxlib__.Ast_pattern0.t

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

val ptyp_arrow : 
  (Astlib.Ast_500.Asttypes.arg_label, 'a, 'b) Ppxlib.Ast_pattern.t ->
  (Astlib.Ast_500.Parsetree.core_type, 'b, 'c) Ppxlib.Ast_pattern.t ->
  (Astlib.Ast_500.Parsetree.core_type, 'c, 'd) Ppxlib.Ast_pattern.t ->
  (Astlib.Ast_500.Parsetree.core_type, 'a, 'd) Ppxlib.Ast_pattern.t

Source

val ptyp_tuple : 
  (Astlib.Ast_500.Parsetree.core_type list, 'a, 'b) Ppxlib.Ast_pattern.t ->
  (Astlib.Ast_500.Parsetree.core_type, 'a, 'b) Ppxlib.Ast_pattern.t

Source

val ptyp_var : 
  (string, 'a, 'b) Ppxlib.Ast_pattern.t ->
  (Astlib.Ast_500.Parsetree.core_type, 'a, 'b) Ppxlib.Ast_pattern.t

Source

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

Source

val value_binding : 
  pat:(Astlib.Ast_500.Parsetree.pattern, 'a, 'b) Ppxlib.Ast_pattern.t ->
  expr:(Astlib.Ast_500.Parsetree.expression, 'b, 'c) Ppxlib.Ast_pattern.t ->
  (Astlib.Ast_500.Parsetree.value_binding, 'a, 'c) Ppxlib.Ast_pattern.t

Source

val value_description : 
  name:(string, 'a, 'b) Ppxlib.Ast_pattern.t ->
  type_:(Astlib.Ast_500.Parsetree.core_type, 'b, 'c) Ppxlib.Ast_pattern.t ->
  prim:(string list, 'c, 'd) Ppxlib.Ast_pattern.t ->
  (Astlib.Ast_500.Parsetree.value_description, 'a, 'd) Ppxlib.Ast_pattern.t

Source

val ppat_constraint : 
  (Astlib.Ast_500.Parsetree.pattern, 'a, 'b) Ppxlib.Ast_pattern.t ->
  (Astlib.Ast_500.Parsetree.core_type, 'b, 'c) Ppxlib.Ast_pattern.t ->
  (Astlib.Ast_500.Parsetree.pattern, 'a, 'c) Ppxlib.Ast_pattern.t

Source

val ppat_tuple : 
  (Astlib.Ast_500.Parsetree.pattern list, 'a, 'b) Ppxlib.Ast_pattern.t ->
  (Astlib.Ast_500.Parsetree.pattern, 'a, 'b) Ppxlib.Ast_pattern.t

Source

val pexp_constraint : 
  (Astlib.Ast_500.Parsetree.expression, 'a, 'b) Ppxlib.Ast_pattern.t ->
  (Astlib.Ast_500.Parsetree.core_type, 'b, 'c) Ppxlib.Ast_pattern.t ->
  (Astlib.Ast_500.Parsetree.expression, 'a, 'c) Ppxlib.Ast_pattern.t

Source

val pexp_tuple : 
  (Astlib.Ast_500.Parsetree.expression list, 'a, 'b) Ppxlib.Ast_pattern.t ->
  (Astlib.Ast_500.Parsetree.expression, 'a, 'b) Ppxlib.Ast_pattern.t

Source

val signature : 
  (Astlib.Ast_500.Parsetree.signature_item list, 'a, 'b) Ppxlib.Ast_pattern.t ->
  (Astlib.Ast_500.Parsetree.signature, 'a, 'b) Ppxlib.Ast_pattern.t

Source

val module_declaration : 
  name:(string option, 'a, 'b) Ppxlib.Ast_pattern.t ->
  type_:(Astlib.Ast_500.Parsetree.module_type, 'b, 'c) Ppxlib.Ast_pattern.t ->
  (Astlib.Ast_500.Parsetree.module_declaration, 'a, 'c) Ppxlib.Ast_pattern.t

Source

val pexp_let : 
  (Astlib.Ast_500.Asttypes.rec_flag, 'a, 'b) Ppxlib.Ast_pattern.t ->
  (Astlib.Ast_500.Parsetree.value_binding list, 'b, 'c) Ppxlib.Ast_pattern.t ->
  (Astlib.Ast_500.Parsetree.expression, 'c, 'd) Ppxlib.Ast_pattern.t ->
  (Astlib.Ast_500.Parsetree.expression, 'a, 'd) Ppxlib.Ast_pattern.t

Sourceval true_ : (bool, 'a, 'a) Ppxlib.Ast_pattern.t

Sourceval false_ : (bool, 'a, 'a) Ppxlib.Ast_pattern.t

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

val pexp_function : 
  (Astlib.Ast_500.Parsetree.case list, 'a, 'b) Ppxlib.Ast_pattern.t ->
  (Astlib.Ast_500.Parsetree.expression, 'a, 'b) Ppxlib.Ast_pattern.t

Source

val no_label : 
  (Astlib.Ast_500.Parsetree.expression, 'a, 'b) Ppxlib.Ast_pattern.t ->
  (Ppxlib_ast.Asttypes.arg_label * Astlib.Ast_500.Parsetree.expression, 'a, 'b)
    Ppxlib.Ast_pattern.t

Source

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

Source

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

Source

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

Source

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

Sourceval fail : Ppxlib.Location.t -> string -> _

Raises the exception that Ast_pattern recognizes as a matching failure.

Sourcetype context = Ppxlib.Ast_pattern.context

Source

val of_func : 
  (Ppxlib.Deriving.Args.context -> Ppxlib.Location.t -> 'a -> 'b -> 'c) ->
  ('a, 'b, 'c) Ppxlib.Ast_pattern.t

Source

val to_func : 
  ('a, 'b, 'c) Ppxlib.Ast_pattern.t ->
  Ppxlib.Deriving.Args.context ->
  Ppxlib.Location.t ->
  'a ->
  'b ->
  'c

Module Deriving.ArgsSource

Link to the tutorial

API

Module `Deriving.Args`Source