Module Cmi_format
type pers_flags
=
|
Rectypes
|
Alerts of string Misc.Stdlib.String.Map.t
|
Opaque
|
Unsafe_string
type cmi_infos
=
{
cmi_name : string;
cmi_sign : Types.signature_item list;
cmi_crcs : (string * Stdlib.Digest.t option) list;
cmi_flags : pers_flags list;
}
val output_cmi : string -> Stdlib.out_channel -> cmi_infos -> Stdlib.Digest.t
val input_cmi : Stdlib.in_channel -> cmi_infos
val read_cmi : string -> cmi_infos
type error
=
|
Not_an_interface of string
|
Wrong_version_interface of string * string
|
Corrupted_interface of string
exception
Error of error
val report_error : Stdlib.Format.formatter -> error -> unit