Compilenv

#

val reset : ?packname:string -> string -> unit

#

val current_unit_infos : unit -> Cmx_format.unit_infos

#

val current_unit_name : unit -> string

#

val make_symbol : ?unitname:string -> string option -> string

#

val symbol_in_current_unit : string -> bool

#

val symbol_for_global : Ident.t -> string

#

val global_approx : Ident.t -> Clambda.value_approximation

#

val set_global_approx : Clambda.value_approximation -> unit

#

val record_global_approx_toplevel : unit -> unit

#

val need_curry_fun : int -> unit

#

val need_apply_fun : int -> unit

#

val need_send_fun : int -> unit

#

val new_const_symbol : unit -> string

#

val new_const_label : unit -> int

#

val new_structured_constant : Clambda.ustructured_constant -> shared:bool -> string

#

val structured_constants : unit -> (string * bool * Clambda.ustructured_constant) list

#

val add_exported_constant : string -> unit

#

type structured_constants

#

val snapshot : unit -> structured_constants

#

val backtrack : structured_constants -> unit

#

val read_unit_info : string -> Cmx_format.unit_infos * Digest.t

#

val write_unit_info : Cmx_format.unit_infos -> string -> unit

#

val save_unit_info : string -> unit

#

val cache_unit_info : Cmx_format.unit_infos -> unit

#

val read_library_info : string -> Cmx_format.library_infos

#

type error =

# \| Not_a_unit_info of string
# \| Corrupted_unit_info of string
# \| Illegal_renaming of string * string * string

#

exception Error of error

#

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

module Compilenv