Module Cmi_formatSource

Sourcetype pers_flags =
  1. | Deprecated of string
Sourcetype error =
  1. | Not_an_interface of string
  2. | Wrong_version_interface of string * string
  3. | Corrupted_interface of string
Sourceexception Error of error
Sourcetype 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;
}
Sourceval input_cmi : in_channel -> cmi_infos
Sourceval read_cmi : string -> cmi_infos