Up

module Translmod

: sig

#

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

end