Translmod (melange.Melange_compiler

type id_or_ignore_loc =

| Id of Ident.t
| Ignore_loc of Lambda.scoped_location

val eval_rec_bindings : 
  ((id_or_ignore_loc * (Lambda.lambda * Lambda.lambda) option * Lambda.lambda)
     list ->
    Lambda.lambda ->
    Lambda.lambda)
    Stdlib.ref

val transl_implementation : 
  string ->
  (Typedtree.structure * Typedtree.module_coercion) ->
  Lambda.program

val transl_store_phrases : string -> Typedtree.structure -> int * Lambda.lambda

val transl_store_implementation : 
  string ->
  (Typedtree.structure * Typedtree.module_coercion) ->
  Lambda.program

val transl_implementation_flambda : 
  string ->
  (Typedtree.structure * Typedtree.module_coercion) ->
  Lambda.program

val transl_toplevel_definition : Typedtree.structure -> Lambda.lambda

val transl_package : 
  Ident.t option list ->
  Ident.t ->
  Typedtree.module_coercion ->
  Lambda.lambda

val transl_store_package : 
  Ident.t option list ->
  Ident.t ->
  Typedtree.module_coercion ->
  int * Lambda.lambda

val transl_package_flambda : 
  Ident.t option list ->
  Typedtree.module_coercion ->
  int * Lambda.lambda

val toplevel_name : Ident.t -> string

val nat_toplevel_name : Ident.t -> Ident.t * int

val primitive_declarations : Primitive.description list Stdlib.ref

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 of (Ident.t * unsafe_info) list
| Conflicting_inline_attributes

exception Error of Location.t * error

val report_error : Location.t -> error -> Location.error

val reset : unit -> unit

val get_export_identifiers : unit -> Ident.t list

make it an array for better performance