Module `Compilenv`

val reset : Unit_info.t -> unit

val reset_info_tables : unit -> unit

val current_unit_infos : unit -> unit Cmx_format.unit_infos_gen

val get_global_export_info : 
  Compilation_unit.t ->
  Flambda2_cmx.Flambda_cmx_format.t option

val get_unit_export_info : 
  Compilation_unit.t ->
  Flambda2_cmx.Flambda_cmx_format.t option

val set_export_info : Flambda2_cmx.Flambda_cmx_format.t -> unit

val need_curry_fun : 
  Lambda.function_kind ->
  Cmm.machtype list ->
  Cmm.machtype ->
  unit

val need_apply_fun : 
  Cmm.machtype list ->
  Cmm.machtype ->
  Cmx_format.alloc_mode ->
  unit

val need_send_fun : 
  Cmm.machtype list ->
  Cmm.machtype ->
  Cmx_format.alloc_mode ->
  unit

val cached_zero_alloc_info : Zero_alloc_info.t

val cache_zero_alloc_info : Zero_alloc_info.t -> unit

val new_const_symbol : unit -> string

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

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

val save_unit_info : 
  string ->
  main_module_block_format:Lambda.main_module_block_format ->
  arg_descr:Lambda.arg_descr option ->
  unit

val cache_unit_info : Cmx_format.unit_infos -> unit

val require_global : Compilation_unit.t -> unit

val read_library_info : string -> Cmx_format.library_infos

val record_external_symbols : unit -> unit

type error =

exception Error of Compilenv.error

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

Module Compilenv