en

Module Translmod

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

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

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

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 toplevel_name : Ident.t -> string

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

val primitive_declarations : Primitive.description list Pervasives.ref

type error =

| Circular_dependency of Ident.t

exception Error of Location.t * error

val report_error : Format.formatter -> error -> unit

val reset : unit -> unit