Exp (ppxlib_ast.ppxlib_ast.ast.Ppxlib_ast.Ast

val mk : 
  ?loc:Astlib.Location.t ->
  ?attrs:Astlib.Ast_500.Parsetree.attribute list ->
  Astlib.Ast_500.Parsetree.expression_desc ->
  Astlib.Ast_500.Parsetree.expression

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

val ident : 
  ?loc:Astlib.Location.t ->
  ?attrs:Astlib.Ast_500.Parsetree.attribute list ->
  Astlib.Longident.t Astlib.Location.loc ->
  Astlib.Ast_500.Parsetree.expression

val constant : 
  ?loc:Astlib.Location.t ->
  ?attrs:Astlib.Ast_500.Parsetree.attribute list ->
  Astlib.Ast_500.Parsetree.constant ->
  Astlib.Ast_500.Parsetree.expression

val let_ : 
  ?loc:Astlib.Location.t ->
  ?attrs:Astlib.Ast_500.Parsetree.attribute list ->
  Astlib.Ast_500.Asttypes.rec_flag ->
  Astlib.Ast_500.Parsetree.value_binding list ->
  Astlib.Ast_500.Parsetree.expression ->
  Astlib.Ast_500.Parsetree.expression

val fun_ : 
  ?loc:Astlib.Location.t ->
  ?attrs:Astlib.Ast_500.Parsetree.attribute list ->
  Astlib.Ast_500.Asttypes.arg_label ->
  Astlib.Ast_500.Parsetree.expression option ->
  Astlib.Ast_500.Parsetree.pattern ->
  Astlib.Ast_500.Parsetree.expression ->
  Astlib.Ast_500.Parsetree.expression

alert prefer_jane_syntax Use [Ppxlib_jane.Ast_builder] for constructing functions ASTs that are handed to the ocaml compiler, e.g. in ppxes

val function_ : 
  ?loc:Astlib.Location.t ->
  ?attrs:Astlib.Ast_500.Parsetree.attribute list ->
  Astlib.Ast_500.Parsetree.case list ->
  Astlib.Ast_500.Parsetree.expression

alert prefer_jane_syntax Use [Ppxlib_jane.Ast_builder] for constructing function ASTs that are handed to the ocaml compiler, e.g. in ppxes

val apply : 
  ?loc:Astlib.Location.t ->
  ?attrs:Astlib.Ast_500.Parsetree.attribute list ->
  Astlib.Ast_500.Parsetree.expression ->
  (Astlib.Ast_500.Asttypes.arg_label * Astlib.Ast_500.Parsetree.expression)
    list ->
  Astlib.Ast_500.Parsetree.expression

val match_ : 
  ?loc:Astlib.Location.t ->
  ?attrs:Astlib.Ast_500.Parsetree.attribute list ->
  Astlib.Ast_500.Parsetree.expression ->
  Astlib.Ast_500.Parsetree.case list ->
  Astlib.Ast_500.Parsetree.expression

val try_ : 
  ?loc:Astlib.Location.t ->
  ?attrs:Astlib.Ast_500.Parsetree.attribute list ->
  Astlib.Ast_500.Parsetree.expression ->
  Astlib.Ast_500.Parsetree.case list ->
  Astlib.Ast_500.Parsetree.expression

val tuple : 
  ?loc:Astlib.Location.t ->
  ?attrs:Astlib.Ast_500.Parsetree.attribute list ->
  Astlib.Ast_500.Parsetree.expression list ->
  Astlib.Ast_500.Parsetree.expression

val construct : 
  ?loc:Astlib.Location.t ->
  ?attrs:Astlib.Ast_500.Parsetree.attribute list ->
  Astlib.Longident.t Astlib.Location.loc ->
  Astlib.Ast_500.Parsetree.expression option ->
  Astlib.Ast_500.Parsetree.expression

val variant : 
  ?loc:Astlib.Location.t ->
  ?attrs:Astlib.Ast_500.Parsetree.attribute list ->
  Astlib.Ast_500.Asttypes.label ->
  Astlib.Ast_500.Parsetree.expression option ->
  Astlib.Ast_500.Parsetree.expression

val record : 
  ?loc:Astlib.Location.t ->
  ?attrs:Astlib.Ast_500.Parsetree.attribute list ->
  (Astlib.Longident.t Astlib.Location.loc * Astlib.Ast_500.Parsetree.expression)
    list ->
  Astlib.Ast_500.Parsetree.expression option ->
  Astlib.Ast_500.Parsetree.expression

val record_unboxed_product : 
  ?loc:Astlib.Location.t ->
  ?attrs:Astlib.Ast_500.Parsetree.attribute list ->
  (Astlib.Longident.t Astlib.Location.loc * Astlib.Ast_500.Parsetree.expression)
    list ->
  Astlib.Ast_500.Parsetree.expression option ->
  Astlib.Ast_500.Parsetree.expression

val field : 
  ?loc:Astlib.Location.t ->
  ?attrs:Astlib.Ast_500.Parsetree.attribute list ->
  Astlib.Ast_500.Parsetree.expression ->
  Astlib.Longident.t Astlib.Location.loc ->
  Astlib.Ast_500.Parsetree.expression

val unboxed_field : 
  ?loc:Astlib.Location.t ->
  ?attrs:Astlib.Ast_500.Parsetree.attribute list ->
  Astlib.Ast_500.Parsetree.expression ->
  Astlib.Longident.t Astlib.Location.loc ->
  Astlib.Ast_500.Parsetree.expression

val setfield : 
  ?loc:Astlib.Location.t ->
  ?attrs:Astlib.Ast_500.Parsetree.attribute list ->
  Astlib.Ast_500.Parsetree.expression ->
  Astlib.Longident.t Astlib.Location.loc ->
  Astlib.Ast_500.Parsetree.expression ->
  Astlib.Ast_500.Parsetree.expression

val array : 
  ?loc:Astlib.Location.t ->
  ?attrs:Astlib.Ast_500.Parsetree.attribute list ->
  Astlib.Ast_500.Parsetree.expression list ->
  Astlib.Ast_500.Parsetree.expression

val ifthenelse : 
  ?loc:Astlib.Location.t ->
  ?attrs:Astlib.Ast_500.Parsetree.attribute list ->
  Astlib.Ast_500.Parsetree.expression ->
  Astlib.Ast_500.Parsetree.expression ->
  Astlib.Ast_500.Parsetree.expression option ->
  Astlib.Ast_500.Parsetree.expression

val sequence : 
  ?loc:Astlib.Location.t ->
  ?attrs:Astlib.Ast_500.Parsetree.attribute list ->
  Astlib.Ast_500.Parsetree.expression ->
  Astlib.Ast_500.Parsetree.expression ->
  Astlib.Ast_500.Parsetree.expression

val while_ : 
  ?loc:Astlib.Location.t ->
  ?attrs:Astlib.Ast_500.Parsetree.attribute list ->
  Astlib.Ast_500.Parsetree.expression ->
  Astlib.Ast_500.Parsetree.expression ->
  Astlib.Ast_500.Parsetree.expression

val for_ : 
  ?loc:Astlib.Location.t ->
  ?attrs:Astlib.Ast_500.Parsetree.attribute list ->
  Astlib.Ast_500.Parsetree.pattern ->
  Astlib.Ast_500.Parsetree.expression ->
  Astlib.Ast_500.Parsetree.expression ->
  Astlib.Ast_500.Asttypes.direction_flag ->
  Astlib.Ast_500.Parsetree.expression ->
  Astlib.Ast_500.Parsetree.expression

val coerce : 
  ?loc:Astlib.Location.t ->
  ?attrs:Astlib.Ast_500.Parsetree.attribute list ->
  Astlib.Ast_500.Parsetree.expression ->
  Astlib.Ast_500.Parsetree.core_type option ->
  Astlib.Ast_500.Parsetree.core_type ->
  Astlib.Ast_500.Parsetree.expression

val constraint_ : 
  ?loc:Astlib.Location.t ->
  ?attrs:Astlib.Ast_500.Parsetree.attribute list ->
  Astlib.Ast_500.Parsetree.expression ->
  Astlib.Ast_500.Parsetree.core_type ->
  Astlib.Ast_500.Parsetree.expression

val send : 
  ?loc:Astlib.Location.t ->
  ?attrs:Astlib.Ast_500.Parsetree.attribute list ->
  Astlib.Ast_500.Parsetree.expression ->
  string Astlib.Location.loc ->
  Astlib.Ast_500.Parsetree.expression

val new_ : 
  ?loc:Astlib.Location.t ->
  ?attrs:Astlib.Ast_500.Parsetree.attribute list ->
  Astlib.Longident.t Astlib.Location.loc ->
  Astlib.Ast_500.Parsetree.expression

val setinstvar : 
  ?loc:Astlib.Location.t ->
  ?attrs:Astlib.Ast_500.Parsetree.attribute list ->
  string Astlib.Location.loc ->
  Astlib.Ast_500.Parsetree.expression ->
  Astlib.Ast_500.Parsetree.expression

val override : 
  ?loc:Astlib.Location.t ->
  ?attrs:Astlib.Ast_500.Parsetree.attribute list ->
  (string Astlib.Location.loc * Astlib.Ast_500.Parsetree.expression) list ->
  Astlib.Ast_500.Parsetree.expression

val letmodule : 
  ?loc:Astlib.Location.t ->
  ?attrs:Astlib.Ast_500.Parsetree.attribute list ->
  string option Astlib.Location.loc ->
  Astlib.Ast_500.Parsetree.module_expr ->
  Astlib.Ast_500.Parsetree.expression ->
  Astlib.Ast_500.Parsetree.expression

val letexception : 
  ?loc:Astlib.Location.t ->
  ?attrs:Astlib.Ast_500.Parsetree.attribute list ->
  Astlib.Ast_500.Parsetree.extension_constructor ->
  Astlib.Ast_500.Parsetree.expression ->
  Astlib.Ast_500.Parsetree.expression

val assert_ : 
  ?loc:Astlib.Location.t ->
  ?attrs:Astlib.Ast_500.Parsetree.attribute list ->
  Astlib.Ast_500.Parsetree.expression ->
  Astlib.Ast_500.Parsetree.expression

val lazy_ : 
  ?loc:Astlib.Location.t ->
  ?attrs:Astlib.Ast_500.Parsetree.attribute list ->
  Astlib.Ast_500.Parsetree.expression ->
  Astlib.Ast_500.Parsetree.expression

val poly : 
  ?loc:Astlib.Location.t ->
  ?attrs:Astlib.Ast_500.Parsetree.attribute list ->
  Astlib.Ast_500.Parsetree.expression ->
  Astlib.Ast_500.Parsetree.core_type option ->
  Astlib.Ast_500.Parsetree.expression

val object_ : 
  ?loc:Astlib.Location.t ->
  ?attrs:Astlib.Ast_500.Parsetree.attribute list ->
  Astlib.Ast_500.Parsetree.class_structure ->
  Astlib.Ast_500.Parsetree.expression

val newtype : 
  ?loc:Astlib.Location.t ->
  ?attrs:Astlib.Ast_500.Parsetree.attribute list ->
  string Astlib.Location.loc ->
  Astlib.Ast_500.Parsetree.expression ->
  Astlib.Ast_500.Parsetree.expression

val pack : 
  ?loc:Astlib.Location.t ->
  ?attrs:Astlib.Ast_500.Parsetree.attribute list ->
  Astlib.Ast_500.Parsetree.module_expr ->
  Astlib.Ast_500.Parsetree.expression

val open_ : 
  ?loc:Astlib.Location.t ->
  ?attrs:Astlib.Ast_500.Parsetree.attribute list ->
  Astlib.Ast_500.Parsetree.open_declaration ->
  Astlib.Ast_500.Parsetree.expression ->
  Astlib.Ast_500.Parsetree.expression

val letop : 
  ?loc:Astlib.Location.t ->
  ?attrs:Astlib.Ast_500.Parsetree.attribute list ->
  Astlib.Ast_500.Parsetree.binding_op ->
  Astlib.Ast_500.Parsetree.binding_op list ->
  Astlib.Ast_500.Parsetree.expression ->
  Astlib.Ast_500.Parsetree.expression

val extension : 
  ?loc:Astlib.Location.t ->
  ?attrs:Astlib.Ast_500.Parsetree.attribute list ->
  Astlib.Ast_500.Parsetree.extension ->
  Astlib.Ast_500.Parsetree.expression

val unreachable : 
  ?loc:Astlib.Location.t ->
  ?attrs:Astlib.Ast_500.Parsetree.attribute list ->
  unit ->
  Astlib.Ast_500.Parsetree.expression

val stack : 
  ?loc:Astlib.Location.t ->
  ?attrs:Astlib.Ast_500.Parsetree.attribute list ->
  Astlib.Ast_500.Parsetree.expression ->
  Astlib.Ast_500.Parsetree.expression

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

val binding_op : 
  string Astlib.Location.loc ->
  Astlib.Ast_500.Parsetree.pattern ->
  Astlib.Ast_500.Parsetree.expression ->
  Astlib.Location.t ->
  Astlib.Ast_500.Parsetree.binding_op

val overwrite : 
  ?loc:Astlib.Location.t ->
  ?attrs:Astlib.Ast_500.Parsetree.attribute list ->
  Astlib.Ast_500.Parsetree.expression ->
  Astlib.Ast_500.Parsetree.expression ->
  Astlib.Ast_500.Parsetree.expression

val quote : 
  ?loc:Astlib.Location.t ->
  ?attrs:Astlib.Ast_500.Parsetree.attribute list ->
  Astlib.Ast_500.Parsetree.expression ->
  Astlib.Ast_500.Parsetree.expression

val splice : 
  ?loc:Astlib.Location.t ->
  ?attrs:Astlib.Ast_500.Parsetree.attribute list ->
  Astlib.Ast_500.Parsetree.expression ->
  Astlib.Ast_500.Parsetree.expression

val hole : 
  ?loc:Astlib.Location.t ->
  ?attrs:Astlib.Ast_500.Parsetree.attribute list ->
  unit ->
  Astlib.Ast_500.Parsetree.expression