Translcore (melange.Melange_compiler

let pure_module: Typedtree.module_expr => Lambda.let_kind;

let wrap_single_field_record: 
  Stdlib.ref((Location.t => string => Lambda.lambda => Lambda.lambda));

let transl_exp: 
  scopes:Debuginfo.Scoped_location.scopes =>
  Typedtree.expression =>
  Lambda.lambda;

let transl_apply: 
  scopes:Debuginfo.Scoped_location.scopes =>
  ?tailcall:Lambda.tailcall_attribute =>
  ?inlined:Lambda.inline_attribute =>
  ?specialised:Lambda.specialise_attribute =>
  Lambda.lambda =>
  list((Asttypes.arg_label, option(Typedtree.expression))) =>
  Lambda.scoped_location =>
  Lambda.lambda;

let transl_let: 
  scopes:Debuginfo.Scoped_location.scopes =>
  ?in_structure:bool =>
  Asttypes.rec_flag =>
  list(Typedtree.value_binding) =>
  Lambda.lambda =>
  Lambda.lambda;

let transl_extension_constructor: 
  scopes:Debuginfo.Scoped_location.scopes =>
  Env.t =>
  option(Path.t) =>
  Typedtree.extension_constructor =>
  Lambda.lambda;

let transl_scoped_exp: 
  scopes:Debuginfo.Scoped_location.scopes =>
  Typedtree.expression =>
  Lambda.lambda;

type error =

| Free_super_var
| Unreachable_reached

;

exception Error(Location.t, error);

let report_error: Stdlib.Format.formatter => error => unit;

let transl_module: 
  Stdlib.ref((scopes:Debuginfo.Scoped_location.scopes =>
    Typedtree.module_coercion =>
    option(Path.t) =>
    Typedtree.module_expr =>
    Lambda.lambda));

let transl_object: 
  Stdlib.ref((scopes:Debuginfo.Scoped_location.scopes =>
    Ident.t =>
    list(string) =>
    Typedtree.class_expr =>
    Lambda.lambda));