Module Ast_helper

type lid = Longident.t Asttypes.loc

type str = string Asttypes.loc

type loc = Location.t

type attrs = Parsetree.attribute list

val default_loc : loc Pervasives.ref

val with_default_loc : loc -> unit -> 'a -> 'a

module Typ : sig

val mk : ?loc:loc -> ?attrs:attrs -> Parsetree.core_type_desc -> Parsetree.core_type

val attr : Parsetree.core_type -> Parsetree.attribute -> Parsetree.core_type

val any : ?loc:loc -> ?attrs:attrs -> unit -> Parsetree.core_type

val var : ?loc:loc -> ?attrs:attrs -> string -> Parsetree.core_type

val arrow : ?loc:loc -> ?attrs:attrs -> Asttypes.label -> Parsetree.core_type -> Parsetree.core_type -> Parsetree.core_type

val tuple : ?loc:loc -> ?attrs:attrs -> Parsetree.core_type list -> Parsetree.core_type

val constr : ?loc:loc -> ?attrs:attrs -> lid -> Parsetree.core_type list -> Parsetree.core_type

val object_ : ?loc:loc -> ?attrs:attrs -> (string * Parsetree.attributes * Parsetree.core_type) list -> Asttypes.closed_flag -> Parsetree.core_type

val class_ : ?loc:loc -> ?attrs:attrs -> lid -> Parsetree.core_type list -> Parsetree.core_type

val alias : ?loc:loc -> ?attrs:attrs -> Parsetree.core_type -> string -> Parsetree.core_type

val variant : ?loc:loc -> ?attrs:attrs -> Parsetree.row_field list -> Asttypes.closed_flag -> Asttypes.label list option -> Parsetree.core_type

val poly : ?loc:loc -> ?attrs:attrs -> string list -> Parsetree.core_type -> Parsetree.core_type

val package : ?loc:loc -> ?attrs:attrs -> lid -> (lid * Parsetree.core_type) list -> Parsetree.core_type

val extension : ?loc:loc -> ?attrs:attrs -> Parsetree.extension -> Parsetree.core_type

val force_poly : Parsetree.core_type -> Parsetree.core_type

end

module Pat : sig

val mk : ?loc:loc -> ?attrs:attrs -> Parsetree.pattern_desc -> Parsetree.pattern

val attr : Parsetree.pattern -> Parsetree.attribute -> Parsetree.pattern

val any : ?loc:loc -> ?attrs:attrs -> unit -> Parsetree.pattern

val var : ?loc:loc -> ?attrs:attrs -> str -> Parsetree.pattern

val alias : ?loc:loc -> ?attrs:attrs -> Parsetree.pattern -> str -> Parsetree.pattern

val constant : ?loc:loc -> ?attrs:attrs -> Asttypes.constant -> Parsetree.pattern

val interval : ?loc:loc -> ?attrs:attrs -> Asttypes.constant -> Asttypes.constant -> Parsetree.pattern

val tuple : ?loc:loc -> ?attrs:attrs -> Parsetree.pattern list -> Parsetree.pattern

val construct : ?loc:loc -> ?attrs:attrs -> lid -> Parsetree.pattern option -> Parsetree.pattern

val variant : ?loc:loc -> ?attrs:attrs -> Asttypes.label -> Parsetree.pattern option -> Parsetree.pattern

val record : ?loc:loc -> ?attrs:attrs -> (lid * Parsetree.pattern) list -> Asttypes.closed_flag -> Parsetree.pattern

val array : ?loc:loc -> ?attrs:attrs -> Parsetree.pattern list -> Parsetree.pattern

val or_ : ?loc:loc -> ?attrs:attrs -> Parsetree.pattern -> Parsetree.pattern -> Parsetree.pattern

val constraint_ : ?loc:loc -> ?attrs:attrs -> Parsetree.pattern -> Parsetree.core_type -> Parsetree.pattern

val type_ : ?loc:loc -> ?attrs:attrs -> lid -> Parsetree.pattern

val lazy_ : ?loc:loc -> ?attrs:attrs -> Parsetree.pattern -> Parsetree.pattern

val unpack : ?loc:loc -> ?attrs:attrs -> str -> Parsetree.pattern

val exception_ : ?loc:loc -> ?attrs:attrs -> Parsetree.pattern -> Parsetree.pattern

val extension : ?loc:loc -> ?attrs:attrs -> Parsetree.extension -> Parsetree.pattern

end

module Exp : sig

val mk : ?loc:loc -> ?attrs:attrs -> Parsetree.expression_desc -> Parsetree.expression

val attr : Parsetree.expression -> Parsetree.attribute -> Parsetree.expression

val ident : ?loc:loc -> ?attrs:attrs -> lid -> Parsetree.expression

val constant : ?loc:loc -> ?attrs:attrs -> Asttypes.constant -> Parsetree.expression

val let_ : ?loc:loc -> ?attrs:attrs -> Asttypes.rec_flag -> Parsetree.value_binding list -> Parsetree.expression -> Parsetree.expression

val fun_ : ?loc:loc -> ?attrs:attrs -> Asttypes.label -> Parsetree.expression option -> Parsetree.pattern -> Parsetree.expression -> Parsetree.expression

val function_ : ?loc:loc -> ?attrs:attrs -> Parsetree.case list -> Parsetree.expression

val apply : ?loc:loc -> ?attrs:attrs -> Parsetree.expression -> (Asttypes.label * Parsetree.expression) list -> Parsetree.expression

val match_ : ?loc:loc -> ?attrs:attrs -> Parsetree.expression -> Parsetree.case list -> Parsetree.expression

val try_ : ?loc:loc -> ?attrs:attrs -> Parsetree.expression -> Parsetree.case list -> Parsetree.expression

val tuple : ?loc:loc -> ?attrs:attrs -> Parsetree.expression list -> Parsetree.expression

val construct : ?loc:loc -> ?attrs:attrs -> lid -> Parsetree.expression option -> Parsetree.expression

val variant : ?loc:loc -> ?attrs:attrs -> Asttypes.label -> Parsetree.expression option -> Parsetree.expression

val record : ?loc:loc -> ?attrs:attrs -> (lid * Parsetree.expression) list -> Parsetree.expression option -> Parsetree.expression

val field : ?loc:loc -> ?attrs:attrs -> Parsetree.expression -> lid -> Parsetree.expression

val setfield : ?loc:loc -> ?attrs:attrs -> Parsetree.expression -> lid -> Parsetree.expression -> Parsetree.expression

val array : ?loc:loc -> ?attrs:attrs -> Parsetree.expression list -> Parsetree.expression

val ifthenelse : ?loc:loc -> ?attrs:attrs -> Parsetree.expression -> Parsetree.expression -> Parsetree.expression option -> Parsetree.expression

val sequence : ?loc:loc -> ?attrs:attrs -> Parsetree.expression -> Parsetree.expression -> Parsetree.expression

val while_ : ?loc:loc -> ?attrs:attrs -> Parsetree.expression -> Parsetree.expression -> Parsetree.expression

val for_ : ?loc:loc -> ?attrs:attrs -> Parsetree.pattern -> Parsetree.expression -> Parsetree.expression -> Asttypes.direction_flag -> Parsetree.expression -> Parsetree.expression

val coerce : ?loc:loc -> ?attrs:attrs -> Parsetree.expression -> Parsetree.core_type option -> Parsetree.core_type -> Parsetree.expression

val constraint_ : ?loc:loc -> ?attrs:attrs -> Parsetree.expression -> Parsetree.core_type -> Parsetree.expression

val send : ?loc:loc -> ?attrs:attrs -> Parsetree.expression -> string -> Parsetree.expression

val new_ : ?loc:loc -> ?attrs:attrs -> lid -> Parsetree.expression

val setinstvar : ?loc:loc -> ?attrs:attrs -> str -> Parsetree.expression -> Parsetree.expression

val override : ?loc:loc -> ?attrs:attrs -> (str * Parsetree.expression) list -> Parsetree.expression

val letmodule : ?loc:loc -> ?attrs:attrs -> str -> Parsetree.module_expr -> Parsetree.expression -> Parsetree.expression

val assert_ : ?loc:loc -> ?attrs:attrs -> Parsetree.expression -> Parsetree.expression

val lazy_ : ?loc:loc -> ?attrs:attrs -> Parsetree.expression -> Parsetree.expression

val poly : ?loc:loc -> ?attrs:attrs -> Parsetree.expression -> Parsetree.core_type option -> Parsetree.expression

val object_ : ?loc:loc -> ?attrs:attrs -> Parsetree.class_structure -> Parsetree.expression

val newtype : ?loc:loc -> ?attrs:attrs -> string -> Parsetree.expression -> Parsetree.expression

val pack : ?loc:loc -> ?attrs:attrs -> Parsetree.module_expr -> Parsetree.expression

val open_ : ?loc:loc -> ?attrs:attrs -> Asttypes.override_flag -> lid -> Parsetree.expression -> Parsetree.expression

val extension : ?loc:loc -> ?attrs:attrs -> Parsetree.extension -> Parsetree.expression

val case : Parsetree.pattern -> ?guard:Parsetree.expression -> Parsetree.expression -> Parsetree.case

end

module Val : sig

val mk : ?loc:loc -> ?attrs:attrs -> ?prim:string list -> str -> Parsetree.core_type -> Parsetree.value_description

end

module Type : sig

val mk : ?loc:loc -> ?attrs:attrs -> ?params:(Parsetree.core_type * Asttypes.variance) list -> ?cstrs:(Parsetree.core_type * Parsetree.core_type * loc) list -> ?kind:Parsetree.type_kind -> ?priv:Asttypes.private_flag -> ?manifest:Parsetree.core_type -> str -> Parsetree.type_declaration

val constructor : ?loc:loc -> ?attrs:attrs -> ?args:Parsetree.core_type list -> ?res:Parsetree.core_type -> str -> Parsetree.constructor_declaration

val field : ?loc:loc -> ?attrs:attrs -> ?mut:Asttypes.mutable_flag -> str -> Parsetree.core_type -> Parsetree.label_declaration

end

module Te : sig

val mk : ?attrs:attrs -> ?params:(Parsetree.core_type * Asttypes.variance) list -> ?priv:Asttypes.private_flag -> lid -> Parsetree.extension_constructor list -> Parsetree.type_extension

val constructor : ?loc:loc -> ?attrs:attrs -> str -> Parsetree.extension_constructor_kind -> Parsetree.extension_constructor

val decl : ?loc:loc -> ?attrs:attrs -> ?args:Parsetree.core_type list -> ?res:Parsetree.core_type -> str -> Parsetree.extension_constructor

val rebind : ?loc:loc -> ?attrs:attrs -> str -> lid -> Parsetree.extension_constructor

end

module Mty : sig

val mk : ?loc:loc -> ?attrs:attrs -> Parsetree.module_type_desc -> Parsetree.module_type

val attr : Parsetree.module_type -> Parsetree.attribute -> Parsetree.module_type

val ident : ?loc:loc -> ?attrs:attrs -> lid -> Parsetree.module_type

val alias : ?loc:loc -> ?attrs:attrs -> lid -> Parsetree.module_type

val signature : ?loc:loc -> ?attrs:attrs -> Parsetree.signature -> Parsetree.module_type

val functor_ : ?loc:loc -> ?attrs:attrs -> str -> Parsetree.module_type option -> Parsetree.module_type -> Parsetree.module_type

val with_ : ?loc:loc -> ?attrs:attrs -> Parsetree.module_type -> Parsetree.with_constraint list -> Parsetree.module_type

val typeof_ : ?loc:loc -> ?attrs:attrs -> Parsetree.module_expr -> Parsetree.module_type

val extension : ?loc:loc -> ?attrs:attrs -> Parsetree.extension -> Parsetree.module_type

end

module Mod : sig

val mk : ?loc:loc -> ?attrs:attrs -> Parsetree.module_expr_desc -> Parsetree.module_expr

val attr : Parsetree.module_expr -> Parsetree.attribute -> Parsetree.module_expr

val ident : ?loc:loc -> ?attrs:attrs -> lid -> Parsetree.module_expr

val structure : ?loc:loc -> ?attrs:attrs -> Parsetree.structure -> Parsetree.module_expr

val functor_ : ?loc:loc -> ?attrs:attrs -> str -> Parsetree.module_type option -> Parsetree.module_expr -> Parsetree.module_expr

val apply : ?loc:loc -> ?attrs:attrs -> Parsetree.module_expr -> Parsetree.module_expr -> Parsetree.module_expr

val constraint_ : ?loc:loc -> ?attrs:attrs -> Parsetree.module_expr -> Parsetree.module_type -> Parsetree.module_expr

val unpack : ?loc:loc -> ?attrs:attrs -> Parsetree.expression -> Parsetree.module_expr

val extension : ?loc:loc -> ?attrs:attrs -> Parsetree.extension -> Parsetree.module_expr

end

module Sig : sig

val mk : ?loc:loc -> Parsetree.signature_item_desc -> Parsetree.signature_item

val value : ?loc:loc -> Parsetree.value_description -> Parsetree.signature_item

val type_ : ?loc:loc -> Parsetree.type_declaration list -> Parsetree.signature_item

val type_extension : ?loc:loc -> Parsetree.type_extension -> Parsetree.signature_item

val exception_ : ?loc:loc -> Parsetree.extension_constructor -> Parsetree.signature_item

val module_ : ?loc:loc -> Parsetree.module_declaration -> Parsetree.signature_item

val rec_module : ?loc:loc -> Parsetree.module_declaration list -> Parsetree.signature_item

val modtype : ?loc:loc -> Parsetree.module_type_declaration -> Parsetree.signature_item

val open_ : ?loc:loc -> Parsetree.open_description -> Parsetree.signature_item

val include_ : ?loc:loc -> Parsetree.include_description -> Parsetree.signature_item

val class_ : ?loc:loc -> Parsetree.class_description list -> Parsetree.signature_item

val class_type : ?loc:loc -> Parsetree.class_type_declaration list -> Parsetree.signature_item

val extension : ?loc:loc -> ?attrs:attrs -> Parsetree.extension -> Parsetree.signature_item

val attribute : ?loc:loc -> Parsetree.attribute -> Parsetree.signature_item

end

module Str : sig

val mk : ?loc:loc -> Parsetree.structure_item_desc -> Parsetree.structure_item

val eval : ?loc:loc -> ?attrs:Parsetree.attributes -> Parsetree.expression -> Parsetree.structure_item

val value : ?loc:loc -> Asttypes.rec_flag -> Parsetree.value_binding list -> Parsetree.structure_item

val primitive : ?loc:loc -> Parsetree.value_description -> Parsetree.structure_item

val type_ : ?loc:loc -> Parsetree.type_declaration list -> Parsetree.structure_item

val type_extension : ?loc:loc -> Parsetree.type_extension -> Parsetree.structure_item

val exception_ : ?loc:loc -> Parsetree.extension_constructor -> Parsetree.structure_item

val module_ : ?loc:loc -> Parsetree.module_binding -> Parsetree.structure_item

val rec_module : ?loc:loc -> Parsetree.module_binding list -> Parsetree.structure_item

val modtype : ?loc:loc -> Parsetree.module_type_declaration -> Parsetree.structure_item

val open_ : ?loc:loc -> Parsetree.open_description -> Parsetree.structure_item

val class_ : ?loc:loc -> Parsetree.class_declaration list -> Parsetree.structure_item

val class_type : ?loc:loc -> Parsetree.class_type_declaration list -> Parsetree.structure_item

val include_ : ?loc:loc -> Parsetree.include_declaration -> Parsetree.structure_item

val extension : ?loc:loc -> ?attrs:attrs -> Parsetree.extension -> Parsetree.structure_item

val attribute : ?loc:loc -> Parsetree.attribute -> Parsetree.structure_item

end

module Md : sig

val mk : ?loc:loc -> ?attrs:attrs -> str -> Parsetree.module_type -> Parsetree.module_declaration

end

module Mtd : sig

val mk : ?loc:loc -> ?attrs:attrs -> ?typ:Parsetree.module_type -> str -> Parsetree.module_type_declaration

end

module Mb : sig

val mk : ?loc:loc -> ?attrs:attrs -> str -> Parsetree.module_expr -> Parsetree.module_binding

end

module Opn : sig

val mk : ?loc:loc -> ?attrs:attrs -> ?override:Asttypes.override_flag -> lid -> Parsetree.open_description

end

module Incl : sig

val mk : ?loc:loc -> ?attrs:attrs -> 'a -> 'a Parsetree.include_infos

end

module Vb : sig

val mk : ?loc:loc -> ?attrs:attrs -> Parsetree.pattern -> Parsetree.expression -> Parsetree.value_binding

end

module Cty : sig

val mk : ?loc:loc -> ?attrs:attrs -> Parsetree.class_type_desc -> Parsetree.class_type

val attr : Parsetree.class_type -> Parsetree.attribute -> Parsetree.class_type

val constr : ?loc:loc -> ?attrs:attrs -> lid -> Parsetree.core_type list -> Parsetree.class_type

val signature : ?loc:loc -> ?attrs:attrs -> Parsetree.class_signature -> Parsetree.class_type

val arrow : ?loc:loc -> ?attrs:attrs -> Asttypes.label -> Parsetree.core_type -> Parsetree.class_type -> Parsetree.class_type

val extension : ?loc:loc -> ?attrs:attrs -> Parsetree.extension -> Parsetree.class_type

end

module Ctf : sig

val mk : ?loc:loc -> ?attrs:attrs -> Parsetree.class_type_field_desc -> Parsetree.class_type_field

val attr : Parsetree.class_type_field -> Parsetree.attribute -> Parsetree.class_type_field

val inherit_ : ?loc:loc -> ?attrs:attrs -> Parsetree.class_type -> Parsetree.class_type_field

val val_ : ?loc:loc -> ?attrs:attrs -> string -> Asttypes.mutable_flag -> Asttypes.virtual_flag -> Parsetree.core_type -> Parsetree.class_type_field

val method_ : ?loc:loc -> ?attrs:attrs -> string -> Asttypes.private_flag -> Asttypes.virtual_flag -> Parsetree.core_type -> Parsetree.class_type_field

val constraint_ : ?loc:loc -> ?attrs:attrs -> Parsetree.core_type -> Parsetree.core_type -> Parsetree.class_type_field

val extension : ?loc:loc -> ?attrs:attrs -> Parsetree.extension -> Parsetree.class_type_field

val attribute : ?loc:loc -> Parsetree.attribute -> Parsetree.class_type_field

end

module Cl : sig

val mk : ?loc:loc -> ?attrs:attrs -> Parsetree.class_expr_desc -> Parsetree.class_expr

val attr : Parsetree.class_expr -> Parsetree.attribute -> Parsetree.class_expr

val constr : ?loc:loc -> ?attrs:attrs -> lid -> Parsetree.core_type list -> Parsetree.class_expr

val structure : ?loc:loc -> ?attrs:attrs -> Parsetree.class_structure -> Parsetree.class_expr

val fun_ : ?loc:loc -> ?attrs:attrs -> Asttypes.label -> Parsetree.expression option -> Parsetree.pattern -> Parsetree.class_expr -> Parsetree.class_expr

val apply : ?loc:loc -> ?attrs:attrs -> Parsetree.class_expr -> (Asttypes.label * Parsetree.expression) list -> Parsetree.class_expr

val let_ : ?loc:loc -> ?attrs:attrs -> Asttypes.rec_flag -> Parsetree.value_binding list -> Parsetree.class_expr -> Parsetree.class_expr

val constraint_ : ?loc:loc -> ?attrs:attrs -> Parsetree.class_expr -> Parsetree.class_type -> Parsetree.class_expr

val extension : ?loc:loc -> ?attrs:attrs -> Parsetree.extension -> Parsetree.class_expr

end

module Cf : sig

val mk : ?loc:loc -> ?attrs:attrs -> Parsetree.class_field_desc -> Parsetree.class_field

val attr : Parsetree.class_field -> Parsetree.attribute -> Parsetree.class_field

val inherit_ : ?loc:loc -> ?attrs:attrs -> Asttypes.override_flag -> Parsetree.class_expr -> string option -> Parsetree.class_field

val val_ : ?loc:loc -> ?attrs:attrs -> str -> Asttypes.mutable_flag -> Parsetree.class_field_kind -> Parsetree.class_field

val method_ : ?loc:loc -> ?attrs:attrs -> str -> Asttypes.private_flag -> Parsetree.class_field_kind -> Parsetree.class_field

val constraint_ : ?loc:loc -> ?attrs:attrs -> Parsetree.core_type -> Parsetree.core_type -> Parsetree.class_field

val initializer_ : ?loc:loc -> ?attrs:attrs -> Parsetree.expression -> Parsetree.class_field

val extension : ?loc:loc -> ?attrs:attrs -> Parsetree.extension -> Parsetree.class_field

val attribute : ?loc:loc -> Parsetree.attribute -> Parsetree.class_field

val virtual_ : Parsetree.core_type -> Parsetree.class_field_kind

val concrete : Asttypes.override_flag -> Parsetree.expression -> Parsetree.class_field_kind

end

module Ci : sig

val mk : ?loc:loc -> ?attrs:attrs -> ?virt:Asttypes.virtual_flag -> ?params:(Parsetree.core_type * Asttypes.variance) list -> str -> 'a -> 'a Parsetree.class_infos

end

module Csig : sig

val mk : Parsetree.core_type -> Parsetree.class_type_field list -> Parsetree.class_signature

end

module Cstr : sig

val mk : Parsetree.pattern -> Parsetree.class_field list -> Parsetree.class_structure

end