• en

Module 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