Up

module Cmi_format

: sig
#
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
end