Module `Translmod`

module SL := Slambda

val transl_implementation : 
  Compilation_unit.t ->
  (Typedtree.structure
   * Typedtree.module_coercion
   * Typedtree.module_coercion option) ->
  loc:Location.t ->
  SL.program

val transl_toplevel_definition : Typedtree.structure -> Lambda.lambda

val transl_package : 
  Compilation_unit.t option list ->
  Typedtree.module_coercion ->
  int * Lambda.lambda

type runtime_arg =

| Argument_block of {
1. ra_unit : Compilation_unit.t;
2. ra_field_idx : int;
3. ra_main_repr : Lambda.module_representation;
}
| Main_module_block of Compilation_unit.t
| Unit

val transl_instance : 
  Compilation_unit.t ->
  runtime_args:Translmod.runtime_arg list ->
  main_module_block_repr:Lambda.module_representation ->
  arg_block_idx:int option ->
  SL.program

val toplevel_name : Ident.t -> string

val primitive_declarations : Primitive.description list Stdlib.ref

type unsafe_component =

| Unsafe_module_binding
| Unsafe_functor
| Unsafe_non_function
| Unsafe_typext
| Unsafe_non_value_arg

type unsafe_info =

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

type error =

| Circular_dependency of (Ident.t * Translmod.unsafe_info) list
| Conflicting_inline_attributes
| Instantiating_packed of Compilation_unit.t

exception Error of Location.t * Translmod.error

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

val reset : unit -> unit

Module Translmod

Module `Translmod`