• en

Module Cmi_format

type pers_flags =
| Rectypes
type cmi_infos = {
cmi_name : string;
cmi_sign : Types.signature_item list;
cmi_crcs : (string * Digest.t option) list;
cmi_flags : pers_flags list;
}
val output_cmi : string -> Pervasives.out_channel -> cmi_infos -> Digest.t
val input_cmi : Pervasives.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 : Format.formatter -> error -> unit