Module Cmi_format
type kind = | Normal of {cmi_impl : Compilation_unit.t;cmi_arg_for : Global_module.Parameter_name.t option;
}| Parameter
type 'sg cmi_infos_generic = {cmi_name : Compilation_unit.Name.t;cmi_kind : Cmi_format.kind;cmi_globals : Global_module.With_precision.t array;cmi_sign : 'sg;cmi_params : Global_module.Parameter_name.t list;cmi_crcs : Import_info.t array;cmi_flags : Cmi_format.pers_flags list;
}type cmi_infos_lazy = Subst.Lazy.signature Cmi_format.cmi_infos_generictype cmi_infos = Types.signature Cmi_format.cmi_infos_genericval output_cmi :
string ->
Stdlib.out_channel ->
Cmi_format.cmi_infos_lazy ->
Stdlib.Digest.tval input_cmi : Stdlib.in_channel -> Cmi_format.cmi_infosval input_cmi_lazy : Stdlib.in_channel -> Cmi_format.cmi_infos_lazyval read_cmi : string -> Cmi_format.cmi_infosval read_cmi_lazy : string -> Cmi_format.cmi_infos_lazytype error = | Not_an_interface of Misc.filepath| Wrong_version_interface of Misc.filepath * string| Corrupted_interface of Misc.filepath
exception Error of Cmi_format.errorval report_error : Stdlib.Format.formatter -> Cmi_format.error -> unit