Module Cmx_format
type export_info
=
|
Clambda of Clambda.value_approximation
|
Flambda of Export_info.t
type unit_infos
=
{
mutable ui_name : string;
mutable ui_symbol : string;
mutable ui_defines : string list;
mutable ui_imports_cmi : (string * Stdlib.Digest.t option) list;
mutable ui_imports_cmx : (string * Stdlib.Digest.t option) list;
mutable ui_curry_fun : int list;
mutable ui_apply_fun : int list;
mutable ui_send_fun : int list;
mutable ui_export_info : export_info;
mutable ui_force_link : bool;
}
type library_infos
=
{
lib_units : (unit_infos * Stdlib.Digest.t) list;
lib_ccobjs : string list;
lib_ccopts : string list;
}
type dynunit
=
{
dynu_name : string;
dynu_crc : Stdlib.Digest.t;
dynu_imports_cmi : (string * Stdlib.Digest.t option) list;
dynu_imports_cmx : (string * Stdlib.Digest.t option) list;
dynu_defines : string list;
}
type dynheader
=
{
dynu_magic : string;
dynu_units : dynunit list;
}