Exp (melange.Melange_compiler_libs.Ast

let mk: 
  ?loc:loc =>
  ?attrs:attrs =>
  Parsetree.expression_desc =>
  Parsetree.expression;

let attr: Parsetree.expression => Parsetree.attribute => Parsetree.expression;

let ident: ?loc:loc => ?attrs:attrs => lid => Parsetree.expression;

let constant: 
  ?loc:loc =>
  ?attrs:attrs =>
  Parsetree.constant =>
  Parsetree.expression;

let let_: 
  ?loc:loc =>
  ?attrs:attrs =>
  Asttypes.rec_flag =>
  list(Parsetree.value_binding) =>
  Parsetree.expression =>
  Parsetree.expression;

let fun_: 
  ?loc:loc =>
  ?attrs:attrs =>
  Asttypes.arg_label =>
  option(Parsetree.expression) =>
  Parsetree.pattern =>
  Parsetree.expression =>
  Parsetree.expression;

let function_: 
  ?loc:loc =>
  ?attrs:attrs =>
  list(Parsetree.case) =>
  Parsetree.expression;

let apply: 
  ?loc:loc =>
  ?attrs:attrs =>
  Parsetree.expression =>
  list((Asttypes.arg_label, Parsetree.expression)) =>
  Parsetree.expression;

let match_: 
  ?loc:loc =>
  ?attrs:attrs =>
  Parsetree.expression =>
  list(Parsetree.case) =>
  Parsetree.expression;

let try_: 
  ?loc:loc =>
  ?attrs:attrs =>
  Parsetree.expression =>
  list(Parsetree.case) =>
  Parsetree.expression;

let tuple: 
  ?loc:loc =>
  ?attrs:attrs =>
  list(Parsetree.expression) =>
  Parsetree.expression;

let construct: 
  ?loc:loc =>
  ?attrs:attrs =>
  lid =>
  option(Parsetree.expression) =>
  Parsetree.expression;

let variant: 
  ?loc:loc =>
  ?attrs:attrs =>
  Asttypes.label =>
  option(Parsetree.expression) =>
  Parsetree.expression;

let record: 
  ?loc:loc =>
  ?attrs:attrs =>
  list((lid, Parsetree.expression)) =>
  option(Parsetree.expression) =>
  Parsetree.expression;

let field: 
  ?loc:loc =>
  ?attrs:attrs =>
  Parsetree.expression =>
  lid =>
  Parsetree.expression;

let setfield: 
  ?loc:loc =>
  ?attrs:attrs =>
  Parsetree.expression =>
  lid =>
  Parsetree.expression =>
  Parsetree.expression;

let array: 
  ?loc:loc =>
  ?attrs:attrs =>
  list(Parsetree.expression) =>
  Parsetree.expression;

let ifthenelse: 
  ?loc:loc =>
  ?attrs:attrs =>
  Parsetree.expression =>
  Parsetree.expression =>
  option(Parsetree.expression) =>
  Parsetree.expression;

let sequence: 
  ?loc:loc =>
  ?attrs:attrs =>
  Parsetree.expression =>
  Parsetree.expression =>
  Parsetree.expression;

let while_: 
  ?loc:loc =>
  ?attrs:attrs =>
  Parsetree.expression =>
  Parsetree.expression =>
  Parsetree.expression;

let for_: 
  ?loc:loc =>
  ?attrs:attrs =>
  Parsetree.pattern =>
  Parsetree.expression =>
  Parsetree.expression =>
  Asttypes.direction_flag =>
  Parsetree.expression =>
  Parsetree.expression;

let coerce: 
  ?loc:loc =>
  ?attrs:attrs =>
  Parsetree.expression =>
  option(Parsetree.core_type) =>
  Parsetree.core_type =>
  Parsetree.expression;

let constraint_: 
  ?loc:loc =>
  ?attrs:attrs =>
  Parsetree.expression =>
  Parsetree.core_type =>
  Parsetree.expression;

let send: 
  ?loc:loc =>
  ?attrs:attrs =>
  Parsetree.expression =>
  str =>
  Parsetree.expression;

let new_: ?loc:loc => ?attrs:attrs => lid => Parsetree.expression;

let setinstvar: 
  ?loc:loc =>
  ?attrs:attrs =>
  str =>
  Parsetree.expression =>
  Parsetree.expression;

let override: 
  ?loc:loc =>
  ?attrs:attrs =>
  list((str, Parsetree.expression)) =>
  Parsetree.expression;

let letmodule: 
  ?loc:loc =>
  ?attrs:attrs =>
  str_opt =>
  Parsetree.module_expr =>
  Parsetree.expression =>
  Parsetree.expression;

let letexception: 
  ?loc:loc =>
  ?attrs:attrs =>
  Parsetree.extension_constructor =>
  Parsetree.expression =>
  Parsetree.expression;

let assert_: 
  ?loc:loc =>
  ?attrs:attrs =>
  Parsetree.expression =>
  Parsetree.expression;

let lazy_: 
  ?loc:loc =>
  ?attrs:attrs =>
  Parsetree.expression =>
  Parsetree.expression;

let poly: 
  ?loc:loc =>
  ?attrs:attrs =>
  Parsetree.expression =>
  option(Parsetree.core_type) =>
  Parsetree.expression;

let object_: 
  ?loc:loc =>
  ?attrs:attrs =>
  Parsetree.class_structure =>
  Parsetree.expression;

let newtype: 
  ?loc:loc =>
  ?attrs:attrs =>
  str =>
  Parsetree.expression =>
  Parsetree.expression;

let pack: 
  ?loc:loc =>
  ?attrs:attrs =>
  Parsetree.module_expr =>
  Parsetree.expression;

let open_: 
  ?loc:loc =>
  ?attrs:attrs =>
  Parsetree.open_declaration =>
  Parsetree.expression =>
  Parsetree.expression;

let letop: 
  ?loc:loc =>
  ?attrs:attrs =>
  Parsetree.binding_op =>
  list(Parsetree.binding_op) =>
  Parsetree.expression =>
  Parsetree.expression;

let extension: 
  ?loc:loc =>
  ?attrs:attrs =>
  Parsetree.extension =>
  Parsetree.expression;

let unreachable: ?loc:loc => ?attrs:attrs => unit => Parsetree.expression;

let case: 
  Parsetree.pattern =>
  ?guard:Parsetree.expression =>
  Parsetree.expression =>
  Parsetree.case;

let binding_op: 
  str =>
  Parsetree.pattern =>
  Parsetree.expression =>
  loc =>
  Parsetree.binding_op;