jon.recoil.org

Module Ocaml_typing.Cmi_formatSource

Sourcetype pers_flags =
  1. | Rectypes
  2. | Alerts of Ocaml_utils.Misc.alerts
  3. | Opaque
Sourcetype kind =
  1. | Normal of {
    1. cmi_impl : Compilation_unit.t;
    2. cmi_arg_for : Global_module.Parameter_name.t option;
    }
  2. | Parameter
Sourcetype '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;
}
Sourceval output_cmi : string -> out_channel -> cmi_infos_lazy -> Digest.t
Sourceval input_cmi : in_channel -> cmi_infos
Sourceval input_cmi_lazy : in_channel -> cmi_infos_lazy
Sourceval read_cmi : string -> cmi_infos
Sourceval read_cmi_lazy : string -> cmi_infos_lazy