Module Translcore
val pure_module : Typedtree.module_expr -> Lambda.let_kindval transl_exp :
scopes:Debuginfo.Scoped_location.scopes ->
Jkind.Sort.Const.t ->
Typedtree.expression ->
Lambda.lambdaval transl_apply :
scopes:Debuginfo.Scoped_location.scopes ->
?tailcall:Lambda.tailcall_attribute ->
?inlined:Lambda.inlined_attribute ->
?specialised:Lambda.specialise_attribute ->
?position:Lambda.region_close ->
?mode:Lambda.locality_mode ->
result_layout:Lambda.layout ->
Lambda.lambda ->
(Typedtree.arg_label * Typedtree.apply_arg) list ->
Lambda.scoped_location ->
Lambda.lambdaval transl_let :
scopes:Debuginfo.Scoped_location.scopes ->
return_layout:Lambda.layout ->
?in_structure:bool ->
Asttypes.rec_flag ->
Typedtree.value_binding list ->
Lambda.lambda ->
Lambda.lambdaval transl_extension_constructor :
scopes:Debuginfo.Scoped_location.scopes ->
Env.t ->
Longident.t option ->
Typedtree.extension_constructor ->
Lambda.lambdaval transl_scoped_exp :
scopes:Debuginfo.Scoped_location.scopes ->
Jkind.Sort.Const.t ->
Typedtree.expression ->
Lambda.lambdatype error = | Free_super_var| Unreachable_reached| Bad_probe_layout of Ident.t| Unknown_probe_layout of Ident.t| Illegal_void_record_field| Illegal_product_record_field of Jkind.Sort.Const.t| Void_sort of Types.type_expr| Unboxed_vector_in_array_comprehension| Unboxed_product_in_array_comprehension| Unboxed_product_in_let_mutable| Block_index_gap_overflow_possible| Element_would_be_reordered_in_record
exception Error of Location.t * Translcore.errorval report_error : Stdlib.Format.formatter -> Translcore.error -> unitval transl_module :
(scopes:Debuginfo.Scoped_location.scopes ->
Typedtree.module_coercion ->
Longident.t option ->
Typedtree.module_expr ->
Lambda.lambda)
Stdlib.refval transl_object :
(scopes:Debuginfo.Scoped_location.scopes ->
Ident.t ->
string list ->
Typedtree.class_expr ->
Lambda.lambda)
Stdlib.ref