type pers_flags =| Rectypes| Alerts of Misc.alerts| Opaque| Unsafe_stringtype 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 -> Stdlib.out_channel -> cmi_infos -> Stdlib.Digest.tval input_cmi : Stdlib.in_channel -> cmi_infosval read_cmi : string -> cmi_infos
type error =| Not_an_interface of Misc.filepath| Wrong_version_interface of Misc.filepath * string| Corrupted_interface of Misc.filepath
exception Error of error
val report_error : Stdlib.Format.formatter -> error -> unit