Translmod (melange.Melange_compiler

type id_or_ignore_loc =

| Id(Ident.t)
| Ignore_loc(Lambda.scoped_location)

;

let eval_rec_bindings: 
  Stdlib.ref((list((id_or_ignore_loc, option((Lambda.lambda, Lambda.lambda)), 
                    Lambda.lambda)) =>
    Lambda.lambda =>
    Lambda.lambda));

let transl_implementation: 
  string =>
  (Typedtree.structure, Typedtree.module_coercion) =>
  Lambda.program;

let transl_store_phrases: 
  string =>
  Typedtree.structure =>
  (int, Lambda.lambda);

let transl_store_implementation: 
  string =>
  (Typedtree.structure, Typedtree.module_coercion) =>
  Lambda.program;

let transl_implementation_flambda: 
  string =>
  (Typedtree.structure, Typedtree.module_coercion) =>
  Lambda.program;

let transl_toplevel_definition: Typedtree.structure => Lambda.lambda;

let transl_package: 
  list(option(Ident.t)) =>
  Ident.t =>
  Typedtree.module_coercion =>
  Lambda.lambda;

let transl_store_package: 
  list(option(Ident.t)) =>
  Ident.t =>
  Typedtree.module_coercion =>
  (int, Lambda.lambda);

let transl_package_flambda: 
  list(option(Ident.t)) =>
  Typedtree.module_coercion =>
  (int, Lambda.lambda);

let toplevel_name: Ident.t => string;

let nat_toplevel_name: Ident.t => (Ident.t, int);

let primitive_declarations: Stdlib.ref(list(Primitive.description));

type unsafe_component =

| Unsafe_module_binding
| Unsafe_functor
| Unsafe_non_function
| Unsafe_typext

;

type unsafe_info =

| Unsafe of {
1. reason: unsafe_component,
2. loc: Location.t,
3. subid: Ident.t,
}
| Unnamed

;

type error =

| Circular_dependency(list((Ident.t, unsafe_info)))
| Conflicting_inline_attributes

;

exception Error(Location.t, error);

let report_error: Location.t => error => Location.error;

let reset: unit => unit;

let get_export_identifiers: unit => list(Ident.t);

make it an array for better performance