Up

module Compilenv

: sig
#
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
end