Module Translcore

val pure_module : Typedtree.module_expr -> Lambda.let_kind
val transl_exp : Typedtree.expression -> Lambda.lambda
val transl_apply : ?⁠should_be_tailcall:bool -> ?⁠inlined:Lambda.inline_attribute -> ?⁠specialised:Lambda.specialise_attribute -> Lambda.lambda -> (Asttypes.arg_label * Typedtree.expression option) list -> Location.t -> Lambda.lambda
val transl_let : Asttypes.rec_flag -> Typedtree.value_binding list -> Lambda.lambda -> Lambda.lambda
val transl_extension_constructor : Env.t -> Path.t option -> Typedtree.extension_constructor -> Lambda.lambda
type error =
| Free_super_var
| Unreachable_reached
exception Error of Location.t * error
val report_error : Stdlib.Format.formatter -> error -> unit
val transl_module : (Typedtree.module_coercion -> Path.t option -> Typedtree.module_expr -> Lambda.lambda) Stdlib.ref
val transl_object : (Ident.t -> string list -> Typedtree.class_expr -> Lambda.lambda) Stdlib.ref