Cmi_formattype cmi_infos = {cmi_name : Misc.modname; |
cmi_sign : Types.signature_item list; |
cmi_crcs : Misc.crcs; |
cmi_flags : pers_flags list; |
}val output_cmi : string -> out_channel -> cmi_infos -> Digest.tval input_cmi : in_channel -> cmi_infosval read_cmi : string -> cmi_infostype error = | Not_an_interface of Misc.filepath |
| Wrong_version_interface of Misc.filepath * string |
| Corrupted_interface of Misc.filepath |
exception Error of errorval report_error : Format.formatter -> error -> unit