ppx_core v0.9.3 · OCaml Package

module Located : sig ... end

include sig ... end

val loc : Location.t

val case : 
  lhs:Migrate_parsetree.OCaml_403.Ast.Parsetree.pattern ->
  guard:Migrate_parsetree.OCaml_403.Ast.Parsetree.expression option ->
  rhs:Migrate_parsetree.OCaml_403.Ast.Parsetree.expression ->
  Migrate_parsetree.OCaml_403.Ast.Parsetree.case

val pcl_constr : 
  Ocaml_common.Longident.t Ocaml_common.Location.loc ->
  Migrate_parsetree.OCaml_403.Ast.Parsetree.core_type list ->
  Migrate_parsetree.OCaml_403.Ast.Parsetree.class_expr

val pcl_structure : 
  Migrate_parsetree.OCaml_403.Ast.Parsetree.class_structure ->
  Migrate_parsetree.OCaml_403.Ast.Parsetree.class_expr

val pcl_fun : 
  Migrate_parsetree.OCaml_403.Ast.Asttypes.arg_label ->
  Migrate_parsetree.OCaml_403.Ast.Parsetree.expression option ->
  Migrate_parsetree.OCaml_403.Ast.Parsetree.pattern ->
  Migrate_parsetree.OCaml_403.Ast.Parsetree.class_expr ->
  Migrate_parsetree.OCaml_403.Ast.Parsetree.class_expr

val pcl_apply : 
  Migrate_parsetree.OCaml_403.Ast.Parsetree.class_expr ->
  (Migrate_parsetree.OCaml_403.Ast.Asttypes.arg_label
   * Migrate_parsetree.OCaml_403.Ast.Parsetree.expression)
    list ->
  Migrate_parsetree.OCaml_403.Ast.Parsetree.class_expr

val pcl_let : 
  Migrate_parsetree.OCaml_403.Ast.Asttypes.rec_flag ->
  Migrate_parsetree.OCaml_403.Ast.Parsetree.value_binding list ->
  Migrate_parsetree.OCaml_403.Ast.Parsetree.class_expr ->
  Migrate_parsetree.OCaml_403.Ast.Parsetree.class_expr

val pcl_constraint : 
  Migrate_parsetree.OCaml_403.Ast.Parsetree.class_expr ->
  Migrate_parsetree.OCaml_403.Ast.Parsetree.class_type ->
  Migrate_parsetree.OCaml_403.Ast.Parsetree.class_expr

val pcl_extension : 
  (string Ocaml_common.Location.loc
   * Migrate_parsetree.OCaml_403.Ast.Parsetree.payload) ->
  Migrate_parsetree.OCaml_403.Ast.Parsetree.class_expr

val pcf_inherit : 
  Migrate_parsetree.OCaml_403.Ast.Asttypes.override_flag ->
  Migrate_parsetree.OCaml_403.Ast.Parsetree.class_expr ->
  string option ->
  Migrate_parsetree.OCaml_403.Ast.Parsetree.class_field

val pcf_val : 
  (string Ocaml_common.Location.loc
   * Migrate_parsetree.OCaml_403.Ast.Asttypes.mutable_flag
   * Migrate_parsetree.OCaml_403.Ast.Parsetree.class_field_kind) ->
  Migrate_parsetree.OCaml_403.Ast.Parsetree.class_field

val pcf_method : 
  (string Ocaml_common.Location.loc
   * Migrate_parsetree.OCaml_403.Ast.Asttypes.private_flag
   * Migrate_parsetree.OCaml_403.Ast.Parsetree.class_field_kind) ->
  Migrate_parsetree.OCaml_403.Ast.Parsetree.class_field

val pcf_constraint : 
  (Migrate_parsetree.OCaml_403.Ast.Parsetree.core_type
   * Migrate_parsetree.OCaml_403.Ast.Parsetree.core_type) ->
  Migrate_parsetree.OCaml_403.Ast.Parsetree.class_field

val pcf_initializer : 
  Migrate_parsetree.OCaml_403.Ast.Parsetree.expression ->
  Migrate_parsetree.OCaml_403.Ast.Parsetree.class_field

val pcf_attribute : 
  (string Ocaml_common.Location.loc
   * Migrate_parsetree.OCaml_403.Ast.Parsetree.payload) ->
  Migrate_parsetree.OCaml_403.Ast.Parsetree.class_field

val pcf_extension : 
  (string Ocaml_common.Location.loc
   * Migrate_parsetree.OCaml_403.Ast.Parsetree.payload) ->
  Migrate_parsetree.OCaml_403.Ast.Parsetree.class_field

val class_infos : 
  virt:Migrate_parsetree.OCaml_403.Ast.Asttypes.virtual_flag ->
  params:
    (Migrate_parsetree.OCaml_403.Ast.Parsetree.core_type
     * Migrate_parsetree.OCaml_403.Ast.Asttypes.variance)
      list ->
  name:string Ocaml_common.Location.loc ->
  expr:'a ->
  'a Migrate_parsetree.OCaml_403.Ast.Parsetree.class_infos

val class_signature : 
  self:Migrate_parsetree.OCaml_403.Ast.Parsetree.core_type ->
  fields:Migrate_parsetree.OCaml_403.Ast.Parsetree.class_type_field list ->
  Migrate_parsetree.OCaml_403.Ast.Parsetree.class_signature

val class_structure : 
  self:Migrate_parsetree.OCaml_403.Ast.Parsetree.pattern ->
  fields:Migrate_parsetree.OCaml_403.Ast.Parsetree.class_field list ->
  Migrate_parsetree.OCaml_403.Ast.Parsetree.class_structure

val pcty_constr : 
  Ocaml_common.Longident.t Ocaml_common.Location.loc ->
  Migrate_parsetree.OCaml_403.Ast.Parsetree.core_type list ->
  Migrate_parsetree.OCaml_403.Ast.Parsetree.class_type

val pcty_signature : 
  Migrate_parsetree.OCaml_403.Ast.Parsetree.class_signature ->
  Migrate_parsetree.OCaml_403.Ast.Parsetree.class_type

val pcty_arrow : 
  Migrate_parsetree.OCaml_403.Ast.Asttypes.arg_label ->
  Migrate_parsetree.OCaml_403.Ast.Parsetree.core_type ->
  Migrate_parsetree.OCaml_403.Ast.Parsetree.class_type ->
  Migrate_parsetree.OCaml_403.Ast.Parsetree.class_type

val pcty_extension : 
  (string Ocaml_common.Location.loc
   * Migrate_parsetree.OCaml_403.Ast.Parsetree.payload) ->
  Migrate_parsetree.OCaml_403.Ast.Parsetree.class_type

val pctf_inherit : 
  Migrate_parsetree.OCaml_403.Ast.Parsetree.class_type ->
  Migrate_parsetree.OCaml_403.Ast.Parsetree.class_type_field

val pctf_val : 
  (string
   * Migrate_parsetree.OCaml_403.Ast.Asttypes.mutable_flag
   * Migrate_parsetree.OCaml_403.Ast.Asttypes.virtual_flag
   * Migrate_parsetree.OCaml_403.Ast.Parsetree.core_type) ->
  Migrate_parsetree.OCaml_403.Ast.Parsetree.class_type_field

val pctf_method : 
  (string
   * Migrate_parsetree.OCaml_403.Ast.Asttypes.private_flag
   * Migrate_parsetree.OCaml_403.Ast.Asttypes.virtual_flag
   * Migrate_parsetree.OCaml_403.Ast.Parsetree.core_type) ->
  Migrate_parsetree.OCaml_403.Ast.Parsetree.class_type_field

val pctf_constraint : 
  (Migrate_parsetree.OCaml_403.Ast.Parsetree.core_type
   * Migrate_parsetree.OCaml_403.Ast.Parsetree.core_type) ->
  Migrate_parsetree.OCaml_403.Ast.Parsetree.class_type_field

val pctf_attribute : 
  (string Ocaml_common.Location.loc
   * Migrate_parsetree.OCaml_403.Ast.Parsetree.payload) ->
  Migrate_parsetree.OCaml_403.Ast.Parsetree.class_type_field

val pctf_extension : 
  (string Ocaml_common.Location.loc
   * Migrate_parsetree.OCaml_403.Ast.Parsetree.payload) ->
  Migrate_parsetree.OCaml_403.Ast.Parsetree.class_type_field

val constructor_declaration : 
  name:string Ocaml_common.Location.loc ->
  args:Migrate_parsetree.OCaml_403.Ast.Parsetree.constructor_arguments ->
  res:Migrate_parsetree.OCaml_403.Ast.Parsetree.core_type option ->
  Migrate_parsetree.OCaml_403.Ast.Parsetree.constructor_declaration

val ptyp_any : Migrate_parsetree.OCaml_403.Ast.Parsetree.core_type

val ptyp_var : string -> Migrate_parsetree.OCaml_403.Ast.Parsetree.core_type

val ptyp_arrow : 
  Migrate_parsetree.OCaml_403.Ast.Asttypes.arg_label ->
  Migrate_parsetree.OCaml_403.Ast.Parsetree.core_type ->
  Migrate_parsetree.OCaml_403.Ast.Parsetree.core_type ->
  Migrate_parsetree.OCaml_403.Ast.Parsetree.core_type

val ptyp_tuple : 
  Migrate_parsetree.OCaml_403.Ast.Parsetree.core_type list ->
  Migrate_parsetree.OCaml_403.Ast.Parsetree.core_type

val ptyp_constr : 
  Ocaml_common.Longident.t Ocaml_common.Location.loc ->
  Migrate_parsetree.OCaml_403.Ast.Parsetree.core_type list ->
  Migrate_parsetree.OCaml_403.Ast.Parsetree.core_type

val ptyp_object : 
  (string
   * (string Ocaml_common.Location.loc
      * Migrate_parsetree.OCaml_403.Ast.Parsetree.payload)
       list
   * Migrate_parsetree.OCaml_403.Ast.Parsetree.core_type)
    list ->
  Migrate_parsetree.OCaml_403.Ast.Asttypes.closed_flag ->
  Migrate_parsetree.OCaml_403.Ast.Parsetree.core_type

val ptyp_class : 
  Ocaml_common.Longident.t Ocaml_common.Location.loc ->
  Migrate_parsetree.OCaml_403.Ast.Parsetree.core_type list ->
  Migrate_parsetree.OCaml_403.Ast.Parsetree.core_type

val ptyp_alias : 
  Migrate_parsetree.OCaml_403.Ast.Parsetree.core_type ->
  string ->
  Migrate_parsetree.OCaml_403.Ast.Parsetree.core_type

val ptyp_variant : 
  Migrate_parsetree.OCaml_403.Ast.Parsetree.row_field list ->
  Migrate_parsetree.OCaml_403.Ast.Asttypes.closed_flag ->
  string list option ->
  Migrate_parsetree.OCaml_403.Ast.Parsetree.core_type

val ptyp_poly : 
  string list ->
  Migrate_parsetree.OCaml_403.Ast.Parsetree.core_type ->
  Migrate_parsetree.OCaml_403.Ast.Parsetree.core_type

val ptyp_package : 
  (Ocaml_common.Longident.t Ocaml_common.Location.loc
   * (Ocaml_common.Longident.t Ocaml_common.Location.loc
      * Migrate_parsetree.OCaml_403.Ast.Parsetree.core_type)
       list) ->
  Migrate_parsetree.OCaml_403.Ast.Parsetree.core_type

val ptyp_extension : 
  (string Ocaml_common.Location.loc
   * Migrate_parsetree.OCaml_403.Ast.Parsetree.payload) ->
  Migrate_parsetree.OCaml_403.Ast.Parsetree.core_type

val pexp_ident : 
  Ocaml_common.Longident.t Ocaml_common.Location.loc ->
  Migrate_parsetree.OCaml_403.Ast.Parsetree.expression

val pexp_constant : 
  Migrate_parsetree.OCaml_403.Ast.Parsetree.constant ->
  Migrate_parsetree.OCaml_403.Ast.Parsetree.expression

val pexp_let : 
  Migrate_parsetree.OCaml_403.Ast.Asttypes.rec_flag ->
  Migrate_parsetree.OCaml_403.Ast.Parsetree.value_binding list ->
  Migrate_parsetree.OCaml_403.Ast.Parsetree.expression ->
  Migrate_parsetree.OCaml_403.Ast.Parsetree.expression

val pexp_function : 
  Migrate_parsetree.OCaml_403.Ast.Parsetree.case list ->
  Migrate_parsetree.OCaml_403.Ast.Parsetree.expression

val pexp_fun : 
  Migrate_parsetree.OCaml_403.Ast.Asttypes.arg_label ->
  Migrate_parsetree.OCaml_403.Ast.Parsetree.expression option ->
  Migrate_parsetree.OCaml_403.Ast.Parsetree.pattern ->
  Migrate_parsetree.OCaml_403.Ast.Parsetree.expression ->
  Migrate_parsetree.OCaml_403.Ast.Parsetree.expression

val pexp_apply : 
  Migrate_parsetree.OCaml_403.Ast.Parsetree.expression ->
  (Migrate_parsetree.OCaml_403.Ast.Asttypes.arg_label
   * Migrate_parsetree.OCaml_403.Ast.Parsetree.expression)
    list ->
  Migrate_parsetree.OCaml_403.Ast.Parsetree.expression

val pexp_match : 
  Migrate_parsetree.OCaml_403.Ast.Parsetree.expression ->
  Migrate_parsetree.OCaml_403.Ast.Parsetree.case list ->
  Migrate_parsetree.OCaml_403.Ast.Parsetree.expression

val pexp_try : 
  Migrate_parsetree.OCaml_403.Ast.Parsetree.expression ->
  Migrate_parsetree.OCaml_403.Ast.Parsetree.case list ->
  Migrate_parsetree.OCaml_403.Ast.Parsetree.expression

val pexp_tuple : 
  Migrate_parsetree.OCaml_403.Ast.Parsetree.expression list ->
  Migrate_parsetree.OCaml_403.Ast.Parsetree.expression

val pexp_construct : 
  Ocaml_common.Longident.t Ocaml_common.Location.loc ->
  Migrate_parsetree.OCaml_403.Ast.Parsetree.expression option ->
  Migrate_parsetree.OCaml_403.Ast.Parsetree.expression

val pexp_variant : 
  string ->
  Migrate_parsetree.OCaml_403.Ast.Parsetree.expression option ->
  Migrate_parsetree.OCaml_403.Ast.Parsetree.expression

val pexp_record : 
  (Ocaml_common.Longident.t Ocaml_common.Location.loc
   * Migrate_parsetree.OCaml_403.Ast.Parsetree.expression)
    list ->
  Migrate_parsetree.OCaml_403.Ast.Parsetree.expression option ->
  Migrate_parsetree.OCaml_403.Ast.Parsetree.expression

val pexp_field : 
  Migrate_parsetree.OCaml_403.Ast.Parsetree.expression ->
  Ocaml_common.Longident.t Ocaml_common.Location.loc ->
  Migrate_parsetree.OCaml_403.Ast.Parsetree.expression

val pexp_setfield : 
  Migrate_parsetree.OCaml_403.Ast.Parsetree.expression ->
  Ocaml_common.Longident.t Ocaml_common.Location.loc ->
  Migrate_parsetree.OCaml_403.Ast.Parsetree.expression ->
  Migrate_parsetree.OCaml_403.Ast.Parsetree.expression

val pexp_array : 
  Migrate_parsetree.OCaml_403.Ast.Parsetree.expression list ->
  Migrate_parsetree.OCaml_403.Ast.Parsetree.expression

val pexp_ifthenelse : 
  Migrate_parsetree.OCaml_403.Ast.Parsetree.expression ->
  Migrate_parsetree.OCaml_403.Ast.Parsetree.expression ->
  Migrate_parsetree.OCaml_403.Ast.Parsetree.expression option ->
  Migrate_parsetree.OCaml_403.Ast.Parsetree.expression

val pexp_sequence : 
  Migrate_parsetree.OCaml_403.Ast.Parsetree.expression ->
  Migrate_parsetree.OCaml_403.Ast.Parsetree.expression ->
  Migrate_parsetree.OCaml_403.Ast.Parsetree.expression

val pexp_while : 
  Migrate_parsetree.OCaml_403.Ast.Parsetree.expression ->
  Migrate_parsetree.OCaml_403.Ast.Parsetree.expression ->
  Migrate_parsetree.OCaml_403.Ast.Parsetree.expression

val pexp_for : 
  Migrate_parsetree.OCaml_403.Ast.Parsetree.pattern ->
  Migrate_parsetree.OCaml_403.Ast.Parsetree.expression ->
  Migrate_parsetree.OCaml_403.Ast.Parsetree.expression ->
  Migrate_parsetree.OCaml_403.Ast.Asttypes.direction_flag ->
  Migrate_parsetree.OCaml_403.Ast.Parsetree.expression ->
  Migrate_parsetree.OCaml_403.Ast.Parsetree.expression

val pexp_constraint : 
  Migrate_parsetree.OCaml_403.Ast.Parsetree.expression ->
  Migrate_parsetree.OCaml_403.Ast.Parsetree.core_type ->
  Migrate_parsetree.OCaml_403.Ast.Parsetree.expression

val pexp_coerce : 
  Migrate_parsetree.OCaml_403.Ast.Parsetree.expression ->
  Migrate_parsetree.OCaml_403.Ast.Parsetree.core_type option ->
  Migrate_parsetree.OCaml_403.Ast.Parsetree.core_type ->
  Migrate_parsetree.OCaml_403.Ast.Parsetree.expression

val pexp_send : 
  Migrate_parsetree.OCaml_403.Ast.Parsetree.expression ->
  string ->
  Migrate_parsetree.OCaml_403.Ast.Parsetree.expression

val pexp_new : 
  Ocaml_common.Longident.t Ocaml_common.Location.loc ->
  Migrate_parsetree.OCaml_403.Ast.Parsetree.expression

val pexp_setinstvar : 
  string Ocaml_common.Location.loc ->
  Migrate_parsetree.OCaml_403.Ast.Parsetree.expression ->
  Migrate_parsetree.OCaml_403.Ast.Parsetree.expression

val pexp_override : 
  (string Ocaml_common.Location.loc
   * Migrate_parsetree.OCaml_403.Ast.Parsetree.expression)
    list ->
  Migrate_parsetree.OCaml_403.Ast.Parsetree.expression

val pexp_letmodule : 
  string Ocaml_common.Location.loc ->
  Migrate_parsetree.OCaml_403.Ast.Parsetree.module_expr ->
  Migrate_parsetree.OCaml_403.Ast.Parsetree.expression ->
  Migrate_parsetree.OCaml_403.Ast.Parsetree.expression

val pexp_assert : 
  Migrate_parsetree.OCaml_403.Ast.Parsetree.expression ->
  Migrate_parsetree.OCaml_403.Ast.Parsetree.expression

val pexp_lazy : 
  Migrate_parsetree.OCaml_403.Ast.Parsetree.expression ->
  Migrate_parsetree.OCaml_403.Ast.Parsetree.expression

val pexp_poly : 
  Migrate_parsetree.OCaml_403.Ast.Parsetree.expression ->
  Migrate_parsetree.OCaml_403.Ast.Parsetree.core_type option ->
  Migrate_parsetree.OCaml_403.Ast.Parsetree.expression

val pexp_object : 
  Migrate_parsetree.OCaml_403.Ast.Parsetree.class_structure ->
  Migrate_parsetree.OCaml_403.Ast.Parsetree.expression

val pexp_newtype : 
  string ->
  Migrate_parsetree.OCaml_403.Ast.Parsetree.expression ->
  Migrate_parsetree.OCaml_403.Ast.Parsetree.expression

val pexp_pack : 
  Migrate_parsetree.OCaml_403.Ast.Parsetree.module_expr ->
  Migrate_parsetree.OCaml_403.Ast.Parsetree.expression

val pexp_open : 
  Migrate_parsetree.OCaml_403.Ast.Asttypes.override_flag ->
  Ocaml_common.Longident.t Ocaml_common.Location.loc ->
  Migrate_parsetree.OCaml_403.Ast.Parsetree.expression ->
  Migrate_parsetree.OCaml_403.Ast.Parsetree.expression

val pexp_extension : 
  (string Ocaml_common.Location.loc
   * Migrate_parsetree.OCaml_403.Ast.Parsetree.payload) ->
  Migrate_parsetree.OCaml_403.Ast.Parsetree.expression

val pexp_unreachable : Migrate_parsetree.OCaml_403.Ast.Parsetree.expression

val extension_constructor : 
  name:string Ocaml_common.Location.loc ->
  kind:Migrate_parsetree.OCaml_403.Ast.Parsetree.extension_constructor_kind ->
  Migrate_parsetree.OCaml_403.Ast.Parsetree.extension_constructor

val include_infos : 
  'a ->
  'a Migrate_parsetree.OCaml_403.Ast.Parsetree.include_infos

val label_declaration : 
  name:string Ocaml_common.Location.loc ->
  mutable_:Migrate_parsetree.OCaml_403.Ast.Asttypes.mutable_flag ->
  type_:Migrate_parsetree.OCaml_403.Ast.Parsetree.core_type ->
  Migrate_parsetree.OCaml_403.Ast.Parsetree.label_declaration

val location : 
  start:Lexing.position ->
  end_:Lexing.position ->
  ghost:bool ->
  Ocaml_common.Location.t

val module_binding : 
  name:string Ocaml_common.Location.loc ->
  expr:Migrate_parsetree.OCaml_403.Ast.Parsetree.module_expr ->
  Migrate_parsetree.OCaml_403.Ast.Parsetree.module_binding

val module_declaration : 
  name:string Ocaml_common.Location.loc ->
  type_:Migrate_parsetree.OCaml_403.Ast.Parsetree.module_type ->
  Migrate_parsetree.OCaml_403.Ast.Parsetree.module_declaration

val pmod_ident : 
  Ocaml_common.Longident.t Ocaml_common.Location.loc ->
  Migrate_parsetree.OCaml_403.Ast.Parsetree.module_expr

val pmod_structure : 
  Migrate_parsetree.OCaml_403.Ast.Parsetree.structure_item list ->
  Migrate_parsetree.OCaml_403.Ast.Parsetree.module_expr

val pmod_functor : 
  string Ocaml_common.Location.loc ->
  Migrate_parsetree.OCaml_403.Ast.Parsetree.module_type option ->
  Migrate_parsetree.OCaml_403.Ast.Parsetree.module_expr ->
  Migrate_parsetree.OCaml_403.Ast.Parsetree.module_expr

val pmod_apply : 
  Migrate_parsetree.OCaml_403.Ast.Parsetree.module_expr ->
  Migrate_parsetree.OCaml_403.Ast.Parsetree.module_expr ->
  Migrate_parsetree.OCaml_403.Ast.Parsetree.module_expr

val pmod_constraint : 
  Migrate_parsetree.OCaml_403.Ast.Parsetree.module_expr ->
  Migrate_parsetree.OCaml_403.Ast.Parsetree.module_type ->
  Migrate_parsetree.OCaml_403.Ast.Parsetree.module_expr

val pmod_unpack : 
  Migrate_parsetree.OCaml_403.Ast.Parsetree.expression ->
  Migrate_parsetree.OCaml_403.Ast.Parsetree.module_expr

val pmod_extension : 
  (string Ocaml_common.Location.loc
   * Migrate_parsetree.OCaml_403.Ast.Parsetree.payload) ->
  Migrate_parsetree.OCaml_403.Ast.Parsetree.module_expr

val pmty_ident : 
  Ocaml_common.Longident.t Ocaml_common.Location.loc ->
  Migrate_parsetree.OCaml_403.Ast.Parsetree.module_type

val pmty_signature : 
  Migrate_parsetree.OCaml_403.Ast.Parsetree.signature_item list ->
  Migrate_parsetree.OCaml_403.Ast.Parsetree.module_type

val pmty_functor : 
  string Ocaml_common.Location.loc ->
  Migrate_parsetree.OCaml_403.Ast.Parsetree.module_type option ->
  Migrate_parsetree.OCaml_403.Ast.Parsetree.module_type ->
  Migrate_parsetree.OCaml_403.Ast.Parsetree.module_type

val pmty_with : 
  Migrate_parsetree.OCaml_403.Ast.Parsetree.module_type ->
  Migrate_parsetree.OCaml_403.Ast.Parsetree.with_constraint list ->
  Migrate_parsetree.OCaml_403.Ast.Parsetree.module_type

val pmty_typeof : 
  Migrate_parsetree.OCaml_403.Ast.Parsetree.module_expr ->
  Migrate_parsetree.OCaml_403.Ast.Parsetree.module_type

val pmty_extension : 
  (string Ocaml_common.Location.loc
   * Migrate_parsetree.OCaml_403.Ast.Parsetree.payload) ->
  Migrate_parsetree.OCaml_403.Ast.Parsetree.module_type

val pmty_alias : 
  Ocaml_common.Longident.t Ocaml_common.Location.loc ->
  Migrate_parsetree.OCaml_403.Ast.Parsetree.module_type

val module_type_declaration : 
  name:string Ocaml_common.Location.loc ->
  type_:Migrate_parsetree.OCaml_403.Ast.Parsetree.module_type option ->
  Migrate_parsetree.OCaml_403.Ast.Parsetree.module_type_declaration

val open_description : 
  lid:Ocaml_common.Longident.t Ocaml_common.Location.loc ->
  override:Migrate_parsetree.OCaml_403.Ast.Asttypes.override_flag ->
  Migrate_parsetree.OCaml_403.Ast.Parsetree.open_description

val ppat_any : Migrate_parsetree.OCaml_403.Ast.Parsetree.pattern

val ppat_var : 
  string Ocaml_common.Location.loc ->
  Migrate_parsetree.OCaml_403.Ast.Parsetree.pattern

val ppat_alias : 
  Migrate_parsetree.OCaml_403.Ast.Parsetree.pattern ->
  string Ocaml_common.Location.loc ->
  Migrate_parsetree.OCaml_403.Ast.Parsetree.pattern

val ppat_constant : 
  Migrate_parsetree.OCaml_403.Ast.Parsetree.constant ->
  Migrate_parsetree.OCaml_403.Ast.Parsetree.pattern

val ppat_interval : 
  Migrate_parsetree.OCaml_403.Ast.Parsetree.constant ->
  Migrate_parsetree.OCaml_403.Ast.Parsetree.constant ->
  Migrate_parsetree.OCaml_403.Ast.Parsetree.pattern

val ppat_tuple : 
  Migrate_parsetree.OCaml_403.Ast.Parsetree.pattern list ->
  Migrate_parsetree.OCaml_403.Ast.Parsetree.pattern

val ppat_construct : 
  Ocaml_common.Longident.t Ocaml_common.Location.loc ->
  Migrate_parsetree.OCaml_403.Ast.Parsetree.pattern option ->
  Migrate_parsetree.OCaml_403.Ast.Parsetree.pattern

val ppat_variant : 
  string ->
  Migrate_parsetree.OCaml_403.Ast.Parsetree.pattern option ->
  Migrate_parsetree.OCaml_403.Ast.Parsetree.pattern

val ppat_record : 
  (Ocaml_common.Longident.t Ocaml_common.Location.loc
   * Migrate_parsetree.OCaml_403.Ast.Parsetree.pattern)
    list ->
  Migrate_parsetree.OCaml_403.Ast.Asttypes.closed_flag ->
  Migrate_parsetree.OCaml_403.Ast.Parsetree.pattern

val ppat_array : 
  Migrate_parsetree.OCaml_403.Ast.Parsetree.pattern list ->
  Migrate_parsetree.OCaml_403.Ast.Parsetree.pattern

val ppat_or : 
  Migrate_parsetree.OCaml_403.Ast.Parsetree.pattern ->
  Migrate_parsetree.OCaml_403.Ast.Parsetree.pattern ->
  Migrate_parsetree.OCaml_403.Ast.Parsetree.pattern

val ppat_constraint : 
  Migrate_parsetree.OCaml_403.Ast.Parsetree.pattern ->
  Migrate_parsetree.OCaml_403.Ast.Parsetree.core_type ->
  Migrate_parsetree.OCaml_403.Ast.Parsetree.pattern

val ppat_type : 
  Ocaml_common.Longident.t Ocaml_common.Location.loc ->
  Migrate_parsetree.OCaml_403.Ast.Parsetree.pattern

val ppat_lazy : 
  Migrate_parsetree.OCaml_403.Ast.Parsetree.pattern ->
  Migrate_parsetree.OCaml_403.Ast.Parsetree.pattern

val ppat_unpack : 
  string Ocaml_common.Location.loc ->
  Migrate_parsetree.OCaml_403.Ast.Parsetree.pattern

val ppat_exception : 
  Migrate_parsetree.OCaml_403.Ast.Parsetree.pattern ->
  Migrate_parsetree.OCaml_403.Ast.Parsetree.pattern

val ppat_extension : 
  (string Ocaml_common.Location.loc
   * Migrate_parsetree.OCaml_403.Ast.Parsetree.payload) ->
  Migrate_parsetree.OCaml_403.Ast.Parsetree.pattern

val position : 
  fname:string ->
  lnum:int ->
  bol:int ->
  cnum:int ->
  Lexing.position

val psig_value : 
  Migrate_parsetree.OCaml_403.Ast.Parsetree.value_description ->
  Migrate_parsetree.OCaml_403.Ast.Parsetree.signature_item

val psig_type : 
  Migrate_parsetree.OCaml_403.Ast.Asttypes.rec_flag ->
  Migrate_parsetree.OCaml_403.Ast.Parsetree.type_declaration list ->
  Migrate_parsetree.OCaml_403.Ast.Parsetree.signature_item

val psig_typext : 
  Migrate_parsetree.OCaml_403.Ast.Parsetree.type_extension ->
  Migrate_parsetree.OCaml_403.Ast.Parsetree.signature_item

val psig_exception : 
  Migrate_parsetree.OCaml_403.Ast.Parsetree.extension_constructor ->
  Migrate_parsetree.OCaml_403.Ast.Parsetree.signature_item

val psig_module : 
  Migrate_parsetree.OCaml_403.Ast.Parsetree.module_declaration ->
  Migrate_parsetree.OCaml_403.Ast.Parsetree.signature_item

val psig_recmodule : 
  Migrate_parsetree.OCaml_403.Ast.Parsetree.module_declaration list ->
  Migrate_parsetree.OCaml_403.Ast.Parsetree.signature_item

val psig_modtype : 
  Migrate_parsetree.OCaml_403.Ast.Parsetree.module_type_declaration ->
  Migrate_parsetree.OCaml_403.Ast.Parsetree.signature_item

val psig_open : 
  Migrate_parsetree.OCaml_403.Ast.Parsetree.open_description ->
  Migrate_parsetree.OCaml_403.Ast.Parsetree.signature_item

val psig_include : 
  Migrate_parsetree.OCaml_403.Ast.Parsetree.module_type
    Migrate_parsetree.OCaml_403.Ast.Parsetree.include_infos ->
  Migrate_parsetree.OCaml_403.Ast.Parsetree.signature_item

val psig_class : 
  Migrate_parsetree.OCaml_403.Ast.Parsetree.class_type
    Migrate_parsetree.OCaml_403.Ast.Parsetree.class_infos
    list ->
  Migrate_parsetree.OCaml_403.Ast.Parsetree.signature_item

val psig_class_type : 
  Migrate_parsetree.OCaml_403.Ast.Parsetree.class_type
    Migrate_parsetree.OCaml_403.Ast.Parsetree.class_infos
    list ->
  Migrate_parsetree.OCaml_403.Ast.Parsetree.signature_item

val psig_attribute : 
  (string Ocaml_common.Location.loc
   * Migrate_parsetree.OCaml_403.Ast.Parsetree.payload) ->
  Migrate_parsetree.OCaml_403.Ast.Parsetree.signature_item

val psig_extension : 
  (string Ocaml_common.Location.loc
   * Migrate_parsetree.OCaml_403.Ast.Parsetree.payload) ->
  (string Ocaml_common.Location.loc
   * Migrate_parsetree.OCaml_403.Ast.Parsetree.payload)
    list ->
  Migrate_parsetree.OCaml_403.Ast.Parsetree.signature_item

val pstr_eval : 
  Migrate_parsetree.OCaml_403.Ast.Parsetree.expression ->
  (string Ocaml_common.Location.loc
   * Migrate_parsetree.OCaml_403.Ast.Parsetree.payload)
    list ->
  Migrate_parsetree.OCaml_403.Ast.Parsetree.structure_item

val pstr_value : 
  Migrate_parsetree.OCaml_403.Ast.Asttypes.rec_flag ->
  Migrate_parsetree.OCaml_403.Ast.Parsetree.value_binding list ->
  Migrate_parsetree.OCaml_403.Ast.Parsetree.structure_item

val pstr_primitive : 
  Migrate_parsetree.OCaml_403.Ast.Parsetree.value_description ->
  Migrate_parsetree.OCaml_403.Ast.Parsetree.structure_item

val pstr_type : 
  Migrate_parsetree.OCaml_403.Ast.Asttypes.rec_flag ->
  Migrate_parsetree.OCaml_403.Ast.Parsetree.type_declaration list ->
  Migrate_parsetree.OCaml_403.Ast.Parsetree.structure_item

val pstr_typext : 
  Migrate_parsetree.OCaml_403.Ast.Parsetree.type_extension ->
  Migrate_parsetree.OCaml_403.Ast.Parsetree.structure_item

val pstr_exception : 
  Migrate_parsetree.OCaml_403.Ast.Parsetree.extension_constructor ->
  Migrate_parsetree.OCaml_403.Ast.Parsetree.structure_item

val pstr_module : 
  Migrate_parsetree.OCaml_403.Ast.Parsetree.module_binding ->
  Migrate_parsetree.OCaml_403.Ast.Parsetree.structure_item

val pstr_recmodule : 
  Migrate_parsetree.OCaml_403.Ast.Parsetree.module_binding list ->
  Migrate_parsetree.OCaml_403.Ast.Parsetree.structure_item

val pstr_modtype : 
  Migrate_parsetree.OCaml_403.Ast.Parsetree.module_type_declaration ->
  Migrate_parsetree.OCaml_403.Ast.Parsetree.structure_item

val pstr_open : 
  Migrate_parsetree.OCaml_403.Ast.Parsetree.open_description ->
  Migrate_parsetree.OCaml_403.Ast.Parsetree.structure_item

val pstr_class : 
  Migrate_parsetree.OCaml_403.Ast.Parsetree.class_expr
    Migrate_parsetree.OCaml_403.Ast.Parsetree.class_infos
    list ->
  Migrate_parsetree.OCaml_403.Ast.Parsetree.structure_item

val pstr_class_type : 
  Migrate_parsetree.OCaml_403.Ast.Parsetree.class_type
    Migrate_parsetree.OCaml_403.Ast.Parsetree.class_infos
    list ->
  Migrate_parsetree.OCaml_403.Ast.Parsetree.structure_item

val pstr_include : 
  Migrate_parsetree.OCaml_403.Ast.Parsetree.module_expr
    Migrate_parsetree.OCaml_403.Ast.Parsetree.include_infos ->
  Migrate_parsetree.OCaml_403.Ast.Parsetree.structure_item

val pstr_attribute : 
  (string Ocaml_common.Location.loc
   * Migrate_parsetree.OCaml_403.Ast.Parsetree.payload) ->
  Migrate_parsetree.OCaml_403.Ast.Parsetree.structure_item

val pstr_extension : 
  (string Ocaml_common.Location.loc
   * Migrate_parsetree.OCaml_403.Ast.Parsetree.payload) ->
  (string Ocaml_common.Location.loc
   * Migrate_parsetree.OCaml_403.Ast.Parsetree.payload)
    list ->
  Migrate_parsetree.OCaml_403.Ast.Parsetree.structure_item

val type_declaration : 
  name:string Ocaml_common.Location.loc ->
  params:
    (Migrate_parsetree.OCaml_403.Ast.Parsetree.core_type
     * Migrate_parsetree.OCaml_403.Ast.Asttypes.variance)
      list ->
  cstrs:
    (Migrate_parsetree.OCaml_403.Ast.Parsetree.core_type
     * Migrate_parsetree.OCaml_403.Ast.Parsetree.core_type
     * Ocaml_common.Location.t)
      list ->
  kind:Migrate_parsetree.OCaml_403.Ast.Parsetree.type_kind ->
  private_:Migrate_parsetree.OCaml_403.Ast.Asttypes.private_flag ->
  manifest:Migrate_parsetree.OCaml_403.Ast.Parsetree.core_type option ->
  Migrate_parsetree.OCaml_403.Ast.Parsetree.type_declaration

val type_extension : 
  path:Ocaml_common.Longident.t Ocaml_common.Location.loc ->
  params:
    (Migrate_parsetree.OCaml_403.Ast.Parsetree.core_type
     * Migrate_parsetree.OCaml_403.Ast.Asttypes.variance)
      list ->
  constructors:
    Migrate_parsetree.OCaml_403.Ast.Parsetree.extension_constructor list ->
  private_:Migrate_parsetree.OCaml_403.Ast.Asttypes.private_flag ->
  Migrate_parsetree.OCaml_403.Ast.Parsetree.type_extension

val value_binding : 
  pat:Migrate_parsetree.OCaml_403.Ast.Parsetree.pattern ->
  expr:Migrate_parsetree.OCaml_403.Ast.Parsetree.expression ->
  Migrate_parsetree.OCaml_403.Ast.Parsetree.value_binding

val value_description : 
  name:string Ocaml_common.Location.loc ->
  type_:Migrate_parsetree.OCaml_403.Ast.Parsetree.core_type ->
  prim:string list ->
  Migrate_parsetree.OCaml_403.Ast.Parsetree.value_description

val eint : Base.Int.t -> Migrate_parsetree.OCaml_403.Ast.Parsetree.expression

val echar : Base.Char.t -> Migrate_parsetree.OCaml_403.Ast.Parsetree.expression

val estring : 
  Base.String.t ->
  Migrate_parsetree.OCaml_403.Ast.Parsetree.expression

val efloat : 
  Base.String.t ->
  Migrate_parsetree.OCaml_403.Ast.Parsetree.expression

val eint32 : 
  Base.Int32.t ->
  Migrate_parsetree.OCaml_403.Ast.Parsetree.expression

val eint64 : 
  Base.Int64.t ->
  Migrate_parsetree.OCaml_403.Ast.Parsetree.expression

val enativeint : 
  Base.Nativeint.t ->
  Migrate_parsetree.OCaml_403.Ast.Parsetree.expression

val ebool : Base.Bool.t -> Migrate_parsetree.OCaml_403.Ast.Parsetree.expression

val pint : Base.Int.t -> Migrate_parsetree.OCaml_403.Ast.Parsetree.pattern

val pchar : Base.Char.t -> Migrate_parsetree.OCaml_403.Ast.Parsetree.pattern

val pstring : 
  Base.String.t ->
  Migrate_parsetree.OCaml_403.Ast.Parsetree.pattern

val pfloat : Base.String.t -> Migrate_parsetree.OCaml_403.Ast.Parsetree.pattern

val pint32 : Base.Int32.t -> Migrate_parsetree.OCaml_403.Ast.Parsetree.pattern

val pint64 : Base.Int64.t -> Migrate_parsetree.OCaml_403.Ast.Parsetree.pattern

val pnativeint : 
  Base.Nativeint.t ->
  Migrate_parsetree.OCaml_403.Ast.Parsetree.pattern

val pbool : Base.Bool.t -> Migrate_parsetree.OCaml_403.Ast.Parsetree.pattern

val eunit : Migrate_parsetree.OCaml_403.Ast.Parsetree.expression

val punit : Migrate_parsetree.OCaml_403.Ast.Parsetree.pattern

val evar : 
  Base.String.t ->
  Migrate_parsetree.OCaml_403.Ast.Parsetree.expression

evar id produces a Pexp_ident _ expression, it parses its input so you can pass any dot-separated identifier, for instance: evar ~loc "Foo.bar".

val pvar : Base.String.t -> Migrate_parsetree.OCaml_403.Ast.Parsetree.pattern

val eapply : 
  Migrate_parsetree.OCaml_403.Ast.Parsetree.expression ->
  Migrate_parsetree.OCaml_403.Ast.Parsetree.expression Base.List.t ->
  Migrate_parsetree.OCaml_403.Ast.Parsetree.expression

Same as pexp_apply but without labels

val eabstract : 
  Migrate_parsetree.OCaml_403.Ast.Parsetree.pattern Base.List.t ->
  Migrate_parsetree.OCaml_403.Ast.Parsetree.expression ->
  Migrate_parsetree.OCaml_403.Ast.Parsetree.expression

val esequence : 
  Migrate_parsetree.OCaml_403.Ast.Parsetree.expression Base.List.t ->
  Migrate_parsetree.OCaml_403.Ast.Parsetree.expression

val ppat_tuple_opt : 
  Migrate_parsetree.OCaml_403.Ast.Parsetree.pattern Base.List.t ->
  Migrate_parsetree.OCaml_403.Ast.Parsetree.pattern Base.Option.t

val pexp_tuple_opt : 
  Migrate_parsetree.OCaml_403.Ast.Parsetree.expression Base.List.t ->
  Migrate_parsetree.OCaml_403.Ast.Parsetree.expression Base.Option.t

val pconstruct : 
  Migrate_parsetree.OCaml_403.Ast.Parsetree.constructor_declaration ->
  Migrate_parsetree.OCaml_403.Ast.Parsetree.pattern Base.Option.t ->
  Migrate_parsetree.OCaml_403.Ast.Parsetree.pattern

val econstruct : 
  Migrate_parsetree.OCaml_403.Ast.Parsetree.constructor_declaration ->
  Migrate_parsetree.OCaml_403.Ast.Parsetree.expression Base.Option.t ->
  Migrate_parsetree.OCaml_403.Ast.Parsetree.expression

val elist : 
  Migrate_parsetree.OCaml_403.Ast.Parsetree.expression Base.List.t ->
  Migrate_parsetree.OCaml_403.Ast.Parsetree.expression

val plist : 
  Migrate_parsetree.OCaml_403.Ast.Parsetree.pattern Base.List.t ->
  Migrate_parsetree.OCaml_403.Ast.Parsetree.pattern

val pstr_value_list : 
  loc:Location.t ->
  Ppx_ast.Asttypes.rec_flag ->
  Migrate_parsetree.OCaml_403.Ast.Parsetree.value_binding Base.List.t ->
  Migrate_parsetree.OCaml_403.Ast.Parsetree.structure_item Base.List.t

pstr_value_list ~loc rf vbs = pstr_value ~loc rf vbs if vbs <> [], [] otherwise.

val nonrec_type_declaration : 
  name:Base.String.t Loc.t ->
  params:
    (Migrate_parsetree.OCaml_403.Ast.Parsetree.core_type
     * Ppx_ast.Asttypes.variance)
      Base.List.t ->
  cstrs:
    (Migrate_parsetree.OCaml_403.Ast.Parsetree.core_type
     * Migrate_parsetree.OCaml_403.Ast.Parsetree.core_type
     * Location.t)
      Base.List.t ->
  kind:Migrate_parsetree.OCaml_403.Ast.Parsetree.type_kind ->
  private_:Ppx_ast.Asttypes.private_flag ->
  manifest:Migrate_parsetree.OCaml_403.Ast.Parsetree.core_type Base.Option.t ->
  Migrate_parsetree.OCaml_403.Ast.Parsetree.type_declaration

deprecated [since 2016-10] use Nonrecursive on the P(str|sig)_type instead

val unapplied_type_constr_conv : 
  Longident.t Loc.t ->
  f:(Base.String.t -> Base.String.t) ->
  Migrate_parsetree.OCaml_403.Ast.Parsetree.expression

unapplied_type_constr_conv is the standard way to map identifiers to conversion fonctions, for preprocessor that creates values that follow the structure of types. More precisely, path_conv path (sprintf "sexp_of_%s") is:

sexp_of_t if path is "t"
A.B.sexp_of_foo if path is "A.B.foo"
A.B.sexp_of_f__foo (module A1) (module A2) if path is "A.B.F(A1)(A2).foo" type_constr_conv also applies it to a list of expression, which both prevents the compiler from allocating useless closures, and almost always what is needed, since type constructors are always applied.

val type_constr_conv : 
  Longident.t Loc.t ->
  f:(Base.String.t -> Base.String.t) ->
  Migrate_parsetree.OCaml_403.Ast.Parsetree.expression Base.List.t ->
  Migrate_parsetree.OCaml_403.Ast.Parsetree.expression

package ppx_core