Module Cmi_format

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