Default (ppxlib.Ppxlib.Ast

module Located : sig ... end

val attribute : 
  loc:Astlib.Location.t ->
  name:string Astlib.Location.loc ->
  payload:Parsetree.payload ->
  Parsetree.attribute

val binding_op : 
  loc:Astlib.Location.t ->
  op:string Astlib.Location.loc ->
  pat:Parsetree.pattern ->
  exp:Parsetree.expression ->
  Parsetree.binding_op

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

val pcl_constr : 
  loc:Astlib.Location.t ->
  Astlib.Longident.t Astlib.Location.loc ->
  Parsetree.core_type list ->
  Parsetree.class_expr

val pcl_structure : 
  loc:Astlib.Location.t ->
  Parsetree.class_structure ->
  Parsetree.class_expr

val pcl_fun : 
  loc:Astlib.Location.t ->
  Asttypes.arg_label ->
  Parsetree.expression option ->
  Parsetree.pattern ->
  Parsetree.class_expr ->
  Parsetree.class_expr

val pcl_apply : 
  loc:Astlib.Location.t ->
  Parsetree.class_expr ->
  (Asttypes.arg_label * Parsetree.expression) list ->
  Parsetree.class_expr

val pcl_let : 
  loc:Astlib.Location.t ->
  Asttypes.rec_flag ->
  Parsetree.value_binding list ->
  Parsetree.class_expr ->
  Parsetree.class_expr

val pcl_constraint : 
  loc:Astlib.Location.t ->
  Parsetree.class_expr ->
  Parsetree.class_type ->
  Parsetree.class_expr

val pcl_extension : 
  loc:Astlib.Location.t ->
  (string Astlib.Location.loc * Parsetree.payload) ->
  Parsetree.class_expr

val pcl_open : 
  loc:Astlib.Location.t ->
  Astlib.Longident.t Astlib.Location.loc Parsetree.open_infos ->
  Parsetree.class_expr ->
  Parsetree.class_expr

val pcf_inherit : 
  loc:Astlib.Location.t ->
  Asttypes.override_flag ->
  Parsetree.class_expr ->
  string Astlib.Location.loc option ->
  Parsetree.class_field

val pcf_val : 
  loc:Astlib.Location.t ->
  (string Astlib.Location.loc
   * Asttypes.mutable_flag
   * Parsetree.class_field_kind) ->
  Parsetree.class_field

val pcf_method : 
  loc:Astlib.Location.t ->
  (string Astlib.Location.loc
   * Asttypes.private_flag
   * Parsetree.class_field_kind) ->
  Parsetree.class_field

val pcf_constraint : 
  loc:Astlib.Location.t ->
  (Parsetree.core_type * Parsetree.core_type) ->
  Parsetree.class_field

val pcf_initializer : 
  loc:Astlib.Location.t ->
  Parsetree.expression ->
  Parsetree.class_field

val pcf_attribute : 
  loc:Astlib.Location.t ->
  Parsetree.attribute ->
  Parsetree.class_field

val pcf_extension : 
  loc:Astlib.Location.t ->
  (string Astlib.Location.loc * Parsetree.payload) ->
  Parsetree.class_field

val class_infos : 
  loc:Astlib.Location.t ->
  virt:Asttypes.virtual_flag ->
  params:
    (Parsetree.core_type * (Asttypes.variance * Asttypes.injectivity)) list ->
  name:string Astlib.Location.loc ->
  expr:'a ->
  'a Parsetree.class_infos

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

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

val pcty_constr : 
  loc:Astlib.Location.t ->
  Astlib.Longident.t Astlib.Location.loc ->
  Parsetree.core_type list ->
  Parsetree.class_type

val pcty_signature : 
  loc:Astlib.Location.t ->
  Parsetree.class_signature ->
  Parsetree.class_type

val pcty_arrow : 
  loc:Astlib.Location.t ->
  Asttypes.arg_label ->
  Parsetree.core_type ->
  Parsetree.class_type ->
  Parsetree.class_type

val pcty_extension : 
  loc:Astlib.Location.t ->
  (string Astlib.Location.loc * Parsetree.payload) ->
  Parsetree.class_type

val pcty_open : 
  loc:Astlib.Location.t ->
  Astlib.Longident.t Astlib.Location.loc Parsetree.open_infos ->
  Parsetree.class_type ->
  Parsetree.class_type

val pctf_inherit : 
  loc:Astlib.Location.t ->
  Parsetree.class_type ->
  Parsetree.class_type_field

val pctf_val : 
  loc:Astlib.Location.t ->
  (string Astlib.Location.loc
   * Asttypes.mutable_flag
   * Asttypes.virtual_flag
   * Parsetree.core_type) ->
  Parsetree.class_type_field

val pctf_method : 
  loc:Astlib.Location.t ->
  (string Astlib.Location.loc
   * Asttypes.private_flag
   * Asttypes.virtual_flag
   * Parsetree.core_type) ->
  Parsetree.class_type_field

val pctf_constraint : 
  loc:Astlib.Location.t ->
  (Parsetree.core_type * Parsetree.core_type) ->
  Parsetree.class_type_field

val pctf_attribute : 
  loc:Astlib.Location.t ->
  Parsetree.attribute ->
  Parsetree.class_type_field

val pctf_extension : 
  loc:Astlib.Location.t ->
  (string Astlib.Location.loc * Parsetree.payload) ->
  Parsetree.class_type_field

val ptyp_any : loc:Astlib.Location.t -> Parsetree.core_type

val ptyp_var : loc:Astlib.Location.t -> string -> Parsetree.core_type

val ptyp_arrow : 
  loc:Astlib.Location.t ->
  Asttypes.arg_label ->
  Parsetree.core_type ->
  Parsetree.core_type ->
  Parsetree.core_type

val ptyp_tuple : 
  loc:Astlib.Location.t ->
  Parsetree.core_type list ->
  Parsetree.core_type

val ptyp_constr : 
  loc:Astlib.Location.t ->
  Astlib.Longident.t Astlib.Location.loc ->
  Parsetree.core_type list ->
  Parsetree.core_type

val ptyp_object : 
  loc:Astlib.Location.t ->
  Parsetree.object_field list ->
  Asttypes.closed_flag ->
  Parsetree.core_type

val ptyp_class : 
  loc:Astlib.Location.t ->
  Astlib.Longident.t Astlib.Location.loc ->
  Parsetree.core_type list ->
  Parsetree.core_type

val ptyp_alias : 
  loc:Astlib.Location.t ->
  Parsetree.core_type ->
  string ->
  Parsetree.core_type

val ptyp_variant : 
  loc:Astlib.Location.t ->
  Parsetree.row_field list ->
  Asttypes.closed_flag ->
  string list option ->
  Parsetree.core_type

val ptyp_poly : 
  loc:Astlib.Location.t ->
  string Astlib.Location.loc list ->
  Parsetree.core_type ->
  Parsetree.core_type

val ptyp_package : 
  loc:Astlib.Location.t ->
  (Astlib.Longident.t Astlib.Location.loc
   * (Astlib.Longident.t Astlib.Location.loc * Parsetree.core_type) list) ->
  Parsetree.core_type

val ptyp_extension : 
  loc:Astlib.Location.t ->
  (string Astlib.Location.loc * Parsetree.payload) ->
  Parsetree.core_type

val pdir_string : 
  loc:Astlib.Location.t ->
  string ->
  Parsetree.directive_argument

val pdir_int : 
  loc:Astlib.Location.t ->
  string ->
  char option ->
  Parsetree.directive_argument

val pdir_ident : 
  loc:Astlib.Location.t ->
  Astlib.Longident.t ->
  Parsetree.directive_argument

val pdir_bool : loc:Astlib.Location.t -> bool -> Parsetree.directive_argument

val pexp_ident : 
  loc:Astlib.Location.t ->
  Astlib.Longident.t Astlib.Location.loc ->
  Parsetree.expression

val pexp_constant : 
  loc:Astlib.Location.t ->
  Parsetree.constant ->
  Parsetree.expression

val pexp_let : 
  loc:Astlib.Location.t ->
  Asttypes.rec_flag ->
  Parsetree.value_binding list ->
  Parsetree.expression ->
  Parsetree.expression

val pexp_function : 
  loc:Astlib.Location.t ->
  Parsetree.case list ->
  Parsetree.expression

val pexp_fun : 
  loc:Astlib.Location.t ->
  Asttypes.arg_label ->
  Parsetree.expression option ->
  Parsetree.pattern ->
  Parsetree.expression ->
  Parsetree.expression

val pexp_apply : 
  loc:Astlib.Location.t ->
  Parsetree.expression ->
  (Asttypes.arg_label * Parsetree.expression) list ->
  Parsetree.expression

val pexp_match : 
  loc:Astlib.Location.t ->
  Parsetree.expression ->
  Parsetree.case list ->
  Parsetree.expression

val pexp_try : 
  loc:Astlib.Location.t ->
  Parsetree.expression ->
  Parsetree.case list ->
  Parsetree.expression

val pexp_tuple : 
  loc:Astlib.Location.t ->
  Parsetree.expression list ->
  Parsetree.expression

val pexp_construct : 
  loc:Astlib.Location.t ->
  Astlib.Longident.t Astlib.Location.loc ->
  Parsetree.expression option ->
  Parsetree.expression

val pexp_variant : 
  loc:Astlib.Location.t ->
  string ->
  Parsetree.expression option ->
  Parsetree.expression

val pexp_record : 
  loc:Astlib.Location.t ->
  (Astlib.Longident.t Astlib.Location.loc * Parsetree.expression) list ->
  Parsetree.expression option ->
  Parsetree.expression

val pexp_field : 
  loc:Astlib.Location.t ->
  Parsetree.expression ->
  Astlib.Longident.t Astlib.Location.loc ->
  Parsetree.expression

val pexp_setfield : 
  loc:Astlib.Location.t ->
  Parsetree.expression ->
  Astlib.Longident.t Astlib.Location.loc ->
  Parsetree.expression ->
  Parsetree.expression

val pexp_array : 
  loc:Astlib.Location.t ->
  Parsetree.expression list ->
  Parsetree.expression

val pexp_ifthenelse : 
  loc:Astlib.Location.t ->
  Parsetree.expression ->
  Parsetree.expression ->
  Parsetree.expression option ->
  Parsetree.expression

val pexp_sequence : 
  loc:Astlib.Location.t ->
  Parsetree.expression ->
  Parsetree.expression ->
  Parsetree.expression

val pexp_while : 
  loc:Astlib.Location.t ->
  Parsetree.expression ->
  Parsetree.expression ->
  Parsetree.expression

val pexp_for : 
  loc:Astlib.Location.t ->
  Parsetree.pattern ->
  Parsetree.expression ->
  Parsetree.expression ->
  Asttypes.direction_flag ->
  Parsetree.expression ->
  Parsetree.expression

val pexp_constraint : 
  loc:Astlib.Location.t ->
  Parsetree.expression ->
  Parsetree.core_type ->
  Parsetree.expression

val pexp_coerce : 
  loc:Astlib.Location.t ->
  Parsetree.expression ->
  Parsetree.core_type option ->
  Parsetree.core_type ->
  Parsetree.expression

val pexp_send : 
  loc:Astlib.Location.t ->
  Parsetree.expression ->
  string Astlib.Location.loc ->
  Parsetree.expression

val pexp_new : 
  loc:Astlib.Location.t ->
  Astlib.Longident.t Astlib.Location.loc ->
  Parsetree.expression

val pexp_setinstvar : 
  loc:Astlib.Location.t ->
  string Astlib.Location.loc ->
  Parsetree.expression ->
  Parsetree.expression

val pexp_override : 
  loc:Astlib.Location.t ->
  (string Astlib.Location.loc * Parsetree.expression) list ->
  Parsetree.expression

val pexp_letmodule : 
  loc:Astlib.Location.t ->
  string option Astlib.Location.loc ->
  Parsetree.module_expr ->
  Parsetree.expression ->
  Parsetree.expression

val pexp_letexception : 
  loc:Astlib.Location.t ->
  Parsetree.extension_constructor ->
  Parsetree.expression ->
  Parsetree.expression

val pexp_assert : 
  loc:Astlib.Location.t ->
  Parsetree.expression ->
  Parsetree.expression

val pexp_lazy : 
  loc:Astlib.Location.t ->
  Parsetree.expression ->
  Parsetree.expression

val pexp_poly : 
  loc:Astlib.Location.t ->
  Parsetree.expression ->
  Parsetree.core_type option ->
  Parsetree.expression

val pexp_object : 
  loc:Astlib.Location.t ->
  Parsetree.class_structure ->
  Parsetree.expression

val pexp_newtype : 
  loc:Astlib.Location.t ->
  string Astlib.Location.loc ->
  Parsetree.expression ->
  Parsetree.expression

val pexp_pack : 
  loc:Astlib.Location.t ->
  Parsetree.module_expr ->
  Parsetree.expression

val pexp_open : 
  loc:Astlib.Location.t ->
  Parsetree.module_expr Parsetree.open_infos ->
  Parsetree.expression ->
  Parsetree.expression

val pexp_letop : 
  loc:Astlib.Location.t ->
  Parsetree.letop ->
  Parsetree.expression

val pexp_extension : 
  loc:Astlib.Location.t ->
  (string Astlib.Location.loc * Parsetree.payload) ->
  Parsetree.expression

val pexp_unreachable : loc:Astlib.Location.t -> Parsetree.expression

val extension_constructor : 
  loc:Astlib.Location.t ->
  name:string Astlib.Location.loc ->
  kind:Parsetree.extension_constructor_kind ->
  Parsetree.extension_constructor

val include_infos : loc:Astlib.Location.t -> 'a -> 'a Parsetree.include_infos

val label_declaration : 
  loc:Astlib.Location.t ->
  name:string Astlib.Location.loc ->
  mutable_:Asttypes.mutable_flag ->
  type_:Parsetree.core_type ->
  Parsetree.label_declaration

val letop : 
  let_:Parsetree.binding_op ->
  ands:Parsetree.binding_op list ->
  body:Parsetree.expression ->
  Parsetree.letop

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

val module_binding : 
  loc:Astlib.Location.t ->
  name:string option Astlib.Location.loc ->
  expr:Parsetree.module_expr ->
  Parsetree.module_binding

val module_declaration : 
  loc:Astlib.Location.t ->
  name:string option Astlib.Location.loc ->
  type_:Parsetree.module_type ->
  Parsetree.module_declaration

val pmod_ident : 
  loc:Astlib.Location.t ->
  Astlib.Longident.t Astlib.Location.loc ->
  Parsetree.module_expr

val pmod_structure : 
  loc:Astlib.Location.t ->
  Parsetree.structure_item list ->
  Parsetree.module_expr

val pmod_functor : 
  loc:Astlib.Location.t ->
  Parsetree.functor_parameter ->
  Parsetree.module_expr ->
  Parsetree.module_expr

val pmod_apply : 
  loc:Astlib.Location.t ->
  Parsetree.module_expr ->
  Parsetree.module_expr ->
  Parsetree.module_expr

val pmod_constraint : 
  loc:Astlib.Location.t ->
  Parsetree.module_expr ->
  Parsetree.module_type ->
  Parsetree.module_expr

val pmod_unpack : 
  loc:Astlib.Location.t ->
  Parsetree.expression ->
  Parsetree.module_expr

val pmod_extension : 
  loc:Astlib.Location.t ->
  (string Astlib.Location.loc * Parsetree.payload) ->
  Parsetree.module_expr

val module_substitution : 
  loc:Astlib.Location.t ->
  name:string Astlib.Location.loc ->
  manifest:Astlib.Longident.t Astlib.Location.loc ->
  Parsetree.module_substitution

val pmty_ident : 
  loc:Astlib.Location.t ->
  Astlib.Longident.t Astlib.Location.loc ->
  Parsetree.module_type

val pmty_signature : 
  loc:Astlib.Location.t ->
  Parsetree.signature_item list ->
  Parsetree.module_type

val pmty_functor : 
  loc:Astlib.Location.t ->
  Parsetree.functor_parameter ->
  Parsetree.module_type ->
  Parsetree.module_type

val pmty_with : 
  loc:Astlib.Location.t ->
  Parsetree.module_type ->
  Parsetree.with_constraint list ->
  Parsetree.module_type

val pmty_typeof : 
  loc:Astlib.Location.t ->
  Parsetree.module_expr ->
  Parsetree.module_type

val pmty_extension : 
  loc:Astlib.Location.t ->
  (string Astlib.Location.loc * Parsetree.payload) ->
  Parsetree.module_type

val pmty_alias : 
  loc:Astlib.Location.t ->
  Astlib.Longident.t Astlib.Location.loc ->
  Parsetree.module_type

val module_type_declaration : 
  loc:Astlib.Location.t ->
  name:string Astlib.Location.loc ->
  type_:Parsetree.module_type option ->
  Parsetree.module_type_declaration

val otag : 
  loc:Astlib.Location.t ->
  string Astlib.Location.loc ->
  Parsetree.core_type ->
  Parsetree.object_field

val oinherit : 
  loc:Astlib.Location.t ->
  Parsetree.core_type ->
  Parsetree.object_field

val open_infos : 
  loc:Astlib.Location.t ->
  expr:'a ->
  override:Asttypes.override_flag ->
  'a Parsetree.open_infos

val ppat_any : loc:Astlib.Location.t -> Parsetree.pattern

val ppat_var : 
  loc:Astlib.Location.t ->
  string Astlib.Location.loc ->
  Parsetree.pattern

val ppat_alias : 
  loc:Astlib.Location.t ->
  Parsetree.pattern ->
  string Astlib.Location.loc ->
  Parsetree.pattern

val ppat_constant : 
  loc:Astlib.Location.t ->
  Parsetree.constant ->
  Parsetree.pattern

val ppat_interval : 
  loc:Astlib.Location.t ->
  Parsetree.constant ->
  Parsetree.constant ->
  Parsetree.pattern

val ppat_tuple : 
  loc:Astlib.Location.t ->
  Parsetree.pattern list ->
  Parsetree.pattern

val ppat_variant : 
  loc:Astlib.Location.t ->
  string ->
  Parsetree.pattern option ->
  Parsetree.pattern

val ppat_record : 
  loc:Astlib.Location.t ->
  (Astlib.Longident.t Astlib.Location.loc * Parsetree.pattern) list ->
  Asttypes.closed_flag ->
  Parsetree.pattern

val ppat_array : 
  loc:Astlib.Location.t ->
  Parsetree.pattern list ->
  Parsetree.pattern

val ppat_or : 
  loc:Astlib.Location.t ->
  Parsetree.pattern ->
  Parsetree.pattern ->
  Parsetree.pattern

val ppat_constraint : 
  loc:Astlib.Location.t ->
  Parsetree.pattern ->
  Parsetree.core_type ->
  Parsetree.pattern

val ppat_type : 
  loc:Astlib.Location.t ->
  Astlib.Longident.t Astlib.Location.loc ->
  Parsetree.pattern

val ppat_lazy : loc:Astlib.Location.t -> Parsetree.pattern -> Parsetree.pattern

val ppat_unpack : 
  loc:Astlib.Location.t ->
  string option Astlib.Location.loc ->
  Parsetree.pattern

val ppat_exception : 
  loc:Astlib.Location.t ->
  Parsetree.pattern ->
  Parsetree.pattern

val ppat_extension : 
  loc:Astlib.Location.t ->
  (string Astlib.Location.loc * Parsetree.payload) ->
  Parsetree.pattern

val ppat_open : 
  loc:Astlib.Location.t ->
  Astlib.Longident.t Astlib.Location.loc ->
  Parsetree.pattern ->
  Parsetree.pattern

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

val rtag : 
  loc:Astlib.Location.t ->
  string Astlib.Location.loc ->
  bool ->
  Parsetree.core_type list ->
  Parsetree.row_field

val rinherit : 
  loc:Astlib.Location.t ->
  Parsetree.core_type ->
  Parsetree.row_field

val psig_value : 
  loc:Astlib.Location.t ->
  Parsetree.value_description ->
  Parsetree.signature_item

val psig_type : 
  loc:Astlib.Location.t ->
  Asttypes.rec_flag ->
  Parsetree.type_declaration list ->
  Parsetree.signature_item

val psig_typesubst : 
  loc:Astlib.Location.t ->
  Parsetree.type_declaration list ->
  Parsetree.signature_item

val psig_typext : 
  loc:Astlib.Location.t ->
  Parsetree.type_extension ->
  Parsetree.signature_item

val psig_exception : 
  loc:Astlib.Location.t ->
  Parsetree.type_exception ->
  Parsetree.signature_item

val psig_module : 
  loc:Astlib.Location.t ->
  Parsetree.module_declaration ->
  Parsetree.signature_item

val psig_modsubst : 
  loc:Astlib.Location.t ->
  Parsetree.module_substitution ->
  Parsetree.signature_item

val psig_recmodule : 
  loc:Astlib.Location.t ->
  Parsetree.module_declaration list ->
  Parsetree.signature_item

val psig_modtype : 
  loc:Astlib.Location.t ->
  Parsetree.module_type_declaration ->
  Parsetree.signature_item

val psig_modtypesubst : 
  loc:Astlib.Location.t ->
  Parsetree.module_type_declaration ->
  Parsetree.signature_item

val psig_open : 
  loc:Astlib.Location.t ->
  Astlib.Longident.t Astlib.Location.loc Parsetree.open_infos ->
  Parsetree.signature_item

val psig_include : 
  loc:Astlib.Location.t ->
  Parsetree.module_type Parsetree.include_infos ->
  Parsetree.signature_item

val psig_class : 
  loc:Astlib.Location.t ->
  Parsetree.class_type Parsetree.class_infos list ->
  Parsetree.signature_item

val psig_class_type : 
  loc:Astlib.Location.t ->
  Parsetree.class_type Parsetree.class_infos list ->
  Parsetree.signature_item

val psig_attribute : 
  loc:Astlib.Location.t ->
  Parsetree.attribute ->
  Parsetree.signature_item

val psig_extension : 
  loc:Astlib.Location.t ->
  (string Astlib.Location.loc * Parsetree.payload) ->
  Parsetree.attribute list ->
  Parsetree.signature_item

val pstr_eval : 
  loc:Astlib.Location.t ->
  Parsetree.expression ->
  Parsetree.attribute list ->
  Parsetree.structure_item

val pstr_value : 
  loc:Astlib.Location.t ->
  Asttypes.rec_flag ->
  Parsetree.value_binding list ->
  Parsetree.structure_item

val pstr_primitive : 
  loc:Astlib.Location.t ->
  Parsetree.value_description ->
  Parsetree.structure_item

val pstr_type : 
  loc:Astlib.Location.t ->
  Asttypes.rec_flag ->
  Parsetree.type_declaration list ->
  Parsetree.structure_item

val pstr_typext : 
  loc:Astlib.Location.t ->
  Parsetree.type_extension ->
  Parsetree.structure_item

val pstr_exception : 
  loc:Astlib.Location.t ->
  Parsetree.type_exception ->
  Parsetree.structure_item

val pstr_module : 
  loc:Astlib.Location.t ->
  Parsetree.module_binding ->
  Parsetree.structure_item

val pstr_recmodule : 
  loc:Astlib.Location.t ->
  Parsetree.module_binding list ->
  Parsetree.structure_item

val pstr_modtype : 
  loc:Astlib.Location.t ->
  Parsetree.module_type_declaration ->
  Parsetree.structure_item

val pstr_open : 
  loc:Astlib.Location.t ->
  Parsetree.module_expr Parsetree.open_infos ->
  Parsetree.structure_item

val pstr_class : 
  loc:Astlib.Location.t ->
  Parsetree.class_expr Parsetree.class_infos list ->
  Parsetree.structure_item

val pstr_class_type : 
  loc:Astlib.Location.t ->
  Parsetree.class_type Parsetree.class_infos list ->
  Parsetree.structure_item

val pstr_include : 
  loc:Astlib.Location.t ->
  Parsetree.module_expr Parsetree.include_infos ->
  Parsetree.structure_item

val pstr_attribute : 
  loc:Astlib.Location.t ->
  Parsetree.attribute ->
  Parsetree.structure_item

val pstr_extension : 
  loc:Astlib.Location.t ->
  (string Astlib.Location.loc * Parsetree.payload) ->
  Parsetree.attribute list ->
  Parsetree.structure_item

val toplevel_directive : 
  loc:Astlib.Location.t ->
  name:string Astlib.Location.loc ->
  arg:Parsetree.directive_argument option ->
  Parsetree.toplevel_directive

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

val type_exception : 
  loc:Astlib.Location.t ->
  Parsetree.extension_constructor ->
  Parsetree.type_exception

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

val value_binding : 
  loc:Astlib.Location.t ->
  pat:Parsetree.pattern ->
  expr:Parsetree.expression ->
  Parsetree.value_binding

val value_description : 
  loc:Astlib.Location.t ->
  name:string Astlib.Location.loc ->
  type_:Parsetree.core_type ->
  prim:string list ->
  Parsetree.value_description

module Latest : sig ... end

val ppat_construct : 
  loc:Astlib.Location.t ->
  Astlib.Longident.t Astlib.Location.loc ->
  Parsetree.pattern option ->
  Parsetree.pattern

val constructor_declaration : 
  loc:Astlib.Location.t ->
  name:string Astlib.Location.loc ->
  args:Parsetree.constructor_arguments ->
  res:Parsetree.core_type option ->
  Parsetree.constructor_declaration

val eint : loc:Astlib.Location.t -> int -> Parsetree.expression

val echar : loc:Astlib.Location.t -> char -> Parsetree.expression

val estring : loc:Astlib.Location.t -> string -> Parsetree.expression

val efloat : loc:Astlib.Location.t -> string -> Parsetree.expression

val eint32 : loc:Astlib.Location.t -> int32 -> Parsetree.expression

val eint64 : loc:Astlib.Location.t -> int64 -> Parsetree.expression

val enativeint : loc:Astlib.Location.t -> nativeint -> Parsetree.expression

val ebool : loc:Astlib.Location.t -> bool -> Parsetree.expression

val pint : loc:Astlib.Location.t -> int -> Parsetree.pattern

val pchar : loc:Astlib.Location.t -> char -> Parsetree.pattern

val pstring : loc:Astlib.Location.t -> string -> Parsetree.pattern

val pfloat : loc:Astlib.Location.t -> string -> Parsetree.pattern

val pint32 : loc:Astlib.Location.t -> int32 -> Parsetree.pattern

val pint64 : loc:Astlib.Location.t -> int64 -> Parsetree.pattern

val pnativeint : loc:Astlib.Location.t -> nativeint -> Parsetree.pattern

val pbool : loc:Astlib.Location.t -> bool -> Parsetree.pattern

val eunit : loc:Astlib.Location.t -> Parsetree.expression

val punit : loc:Astlib.Location.t -> Parsetree.pattern

val evar : loc:Astlib.Location.t -> string -> Parsetree.expression

val pvar : loc:Astlib.Location.t -> string -> Parsetree.pattern

val eapply : 
  loc:Astlib.Location.t ->
  Parsetree.expression ->
  Parsetree.expression list ->
  Parsetree.expression

val eabstract : 
  loc:Astlib.Location.t ->
  Parsetree.pattern list ->
  Parsetree.expression ->
  Parsetree.expression

val esequence : 
  loc:Astlib.Location.t ->
  Parsetree.expression list ->
  Parsetree.expression

val ppat_tuple_opt : 
  loc:Astlib.Location.t ->
  Parsetree.pattern list ->
  Parsetree.pattern option

val pexp_tuple_opt : 
  loc:Astlib.Location.t ->
  Parsetree.expression list ->
  Parsetree.expression option

val pconstruct : 
  Parsetree.constructor_declaration ->
  Parsetree.pattern option ->
  Parsetree.pattern

val econstruct : 
  Parsetree.constructor_declaration ->
  Parsetree.expression option ->
  Parsetree.expression

val elist_tail : 
  loc:Astlib.Location.t ->
  Parsetree.expression list ->
  Parsetree.expression ->
  Parsetree.expression

val elist : 
  loc:Astlib.Location.t ->
  Parsetree.expression list ->
  Parsetree.expression

val plist_tail : 
  loc:Astlib.Location.t ->
  Parsetree.pattern list ->
  Parsetree.pattern ->
  Parsetree.pattern

val plist : 
  loc:Astlib.Location.t ->
  Parsetree.pattern list ->
  Parsetree.pattern

val pstr_value_list : 
  loc:Astlib.Location.t ->
  Asttypes.rec_flag ->
  Parsetree.value_binding list ->
  Parsetree.structure_item list

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

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

val unapplied_type_constr_conv : 
  loc:Astlib.Location.t ->
  Astlib.Longident.t Astlib.Location.loc ->
  f:(string -> string) ->
  Parsetree.expression

val type_constr_conv : 
  loc:Astlib.Location.t ->
  Astlib.Longident.t Astlib.Location.loc ->
  f:(string -> string) ->
  Parsetree.expression list ->
  Parsetree.expression

val eta_reduce : Parsetree.expression -> Parsetree.expression option

val eta_reduce_if_possible : Parsetree.expression -> Parsetree.expression

val eta_reduce_if_possible_and_nonrec : 
  Parsetree.expression ->
  rec_flag:Asttypes.rec_flag ->
  Parsetree.expression