jon.recoil.org

Module Cmi_format

type pers_flags =
  1. | Rectypes
  2. | Alerts of Misc.alerts
  3. | Opaque
type kind =
  1. | Normal of {
    1. cmi_impl : Compilation_unit.t;
    2. cmi_arg_for : Global_module.Parameter_name.t option;
    }
  2. | Parameter
type 'sg cmi_infos_generic = {
  1. cmi_name : Compilation_unit.Name.t;
  2. cmi_kind : kind;
  3. cmi_globals : Global_module.With_precision.t array;
  4. cmi_sign : 'sg;
  5. cmi_params : Global_module.Parameter_name.t list;
  6. cmi_crcs : Import_info.t array;
  7. cmi_flags : pers_flags list;
}
val output_cmi : string -> out_channel -> cmi_infos_lazy -> Digest.t
val input_cmi : in_channel -> cmi_infos
val input_cmi_lazy : in_channel -> cmi_infos_lazy
val read_cmi : string -> cmi_infos
val read_cmi_lazy : string -> cmi_infos_lazy
type error =
  1. | Not_an_interface of Misc.filepath
  2. | Wrong_version_interface of Misc.filepath * string
  3. | Corrupted_interface of Misc.filepath
exception Error of error
val report_error : error Format_doc.format_printer
val report_error_doc : error Format_doc.printer