Up

module Translcore

: sig
#
val transl_exp : Typedtree.expression -> Lambda.lambda
#
val transl_apply : Lambda.lambda -> (Asttypes.label * Typedtree.expression option * Typedtree.optional) list -> Location.t -> Lambda.lambda
#
val transl_primitive : Location.t -> Primitive.description -> Lambda.lambda
#
val check_recursive_lambda : Ident.t list -> Lambda.lambda -> bool
#
type error =
# | Illegal_letrec_pat
# | Illegal_letrec_expr
# | Free_super_var
# | Unknown_builtin_primitive of string
#
exception Error of Location.t * error
#
val report_error : Format.formatter -> error -> unit
#
val transl_module : (Typedtree.module_coercion -> Path.t option -> Typedtree.module_expr -> Lambda.lambda) Pervasives.ref
#
val transl_object : (Ident.t -> string list -> Typedtree.class_expr -> Lambda.lambda) Pervasives.ref
end