Module Ocaml_typing.Cmi_format

type pers_flags =
  1. | Rectypes
  2. | Alerts of Merlin_utils.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