Ast_compatible (melange.Ast

type loc = Melange_compiler_libs.Location.t

type attrs = Melange_compiler_libs.Parsetree.attribute list

val const_exp_string : 
  ?loc:Melange_compiler_libs.Location.t ->
  ?attrs:attrs ->
  ?delimiter:string ->
  string ->
  Melange_compiler_libs.Parsetree.expression

val const_exp_int : 
  ?loc:Melange_compiler_libs.Location.t ->
  ?attrs:attrs ->
  int ->
  Melange_compiler_libs.Parsetree.expression

val const_exp_int_list_as_array : 
  int list ->
  Melange_compiler_libs.Parsetree.expression

val apply_simple : 
  ?loc:Melange_compiler_libs.Location.t ->
  ?attrs:attrs ->
  Melange_compiler_libs.Parsetree.expression ->
  Melange_compiler_libs.Parsetree.expression list ->
  Melange_compiler_libs.Parsetree.expression

val app1 : 
  ?loc:Melange_compiler_libs.Location.t ->
  ?attrs:attrs ->
  Melange_compiler_libs.Parsetree.expression ->
  Melange_compiler_libs.Parsetree.expression ->
  Melange_compiler_libs.Parsetree.expression

val app2 : 
  ?loc:Melange_compiler_libs.Location.t ->
  ?attrs:attrs ->
  Melange_compiler_libs.Parsetree.expression ->
  Melange_compiler_libs.Parsetree.expression ->
  Melange_compiler_libs.Parsetree.expression ->
  Melange_compiler_libs.Parsetree.expression

val app3 : 
  ?loc:Melange_compiler_libs.Location.t ->
  ?attrs:attrs ->
  Melange_compiler_libs.Parsetree.expression ->
  Melange_compiler_libs.Parsetree.expression ->
  Melange_compiler_libs.Parsetree.expression ->
  Melange_compiler_libs.Parsetree.expression ->
  Melange_compiler_libs.Parsetree.expression

val apply_labels : 
  ?loc:Melange_compiler_libs.Location.t ->
  ?attrs:attrs ->
  Melange_compiler_libs.Parsetree.expression ->
  (string * Melange_compiler_libs.Parsetree.expression) list ->
  Melange_compiler_libs.Parsetree.expression

Note this function would slightly change its semantics depending on compiler versions for newer version: it means always label for older version: it could be optional (which we should avoid)

val fun_ : 
  ?loc:Melange_compiler_libs.Location.t ->
  ?attrs:attrs ->
  Melange_compiler_libs.Parsetree.pattern ->
  Melange_compiler_libs.Parsetree.expression ->
  Melange_compiler_libs.Parsetree.expression

val arrow : 
  ?loc:Melange_compiler_libs.Location.t ->
  ?attrs:attrs ->
  Melange_compiler_libs.Parsetree.core_type ->
  Melange_compiler_libs.Parsetree.core_type ->
  Melange_compiler_libs.Parsetree.core_type

val label_arrow : 
  ?loc:Melange_compiler_libs.Location.t ->
  ?attrs:attrs ->
  string ->
  Melange_compiler_libs.Parsetree.core_type ->
  Melange_compiler_libs.Parsetree.core_type ->
  Melange_compiler_libs.Parsetree.core_type

val opt_arrow : 
  ?loc:Melange_compiler_libs.Location.t ->
  ?attrs:attrs ->
  string ->
  Melange_compiler_libs.Parsetree.core_type ->
  Melange_compiler_libs.Parsetree.core_type ->
  Melange_compiler_libs.Parsetree.core_type

val rec_type_str : 
  ?loc:loc ->
  Asttypes.rec_flag ->
  Melange_compiler_libs.Parsetree.type_declaration list ->
  Melange_compiler_libs.Parsetree.structure_item

val rec_type_sig : 
  ?loc:loc ->
  Asttypes.rec_flag ->
  Melange_compiler_libs.Parsetree.type_declaration list ->
  Melange_compiler_libs.Parsetree.signature_item

type object_field = Melange_compiler_libs.Parsetree.object_field

val object_field : 
  Asttypes.label Asttypes.loc ->
  Melange_compiler_libs.Parsetree.attributes ->
  Melange_compiler_libs.Parsetree.core_type ->
  object_field

type args =
  (Asttypes.arg_label * Melange_compiler_libs.Parsetree.expression) list