Module Ocaml_typing.Cmi_format
type kind = | Normal of {cmi_impl : Ocaml_typing.Compilation_unit.t;cmi_arg_for : Ocaml_typing.Global_module.Parameter_name.t option;
}| Parameter
type 'sg cmi_infos_generic = {cmi_name : Ocaml_typing.Compilation_unit.Name.t;cmi_kind : Ocaml_typing.Cmi_format.kind;cmi_globals : Ocaml_typing.Global_module.With_precision.t array;cmi_sign : 'sg;cmi_params : Ocaml_typing.Global_module.Parameter_name.t list;cmi_crcs : Ocaml_typing.Import_info.t array;cmi_flags : Ocaml_typing.Cmi_format.pers_flags list;
}type cmi_infos_lazy =
Ocaml_typing.Subst.Lazy.signature Ocaml_typing.Cmi_format.cmi_infos_generictype cmi_infos =
Ocaml_typing.Types.signature Ocaml_typing.Cmi_format.cmi_infos_genericval output_cmi :
string ->
Stdlib.out_channel ->
Ocaml_typing.Cmi_format.cmi_infos_lazy ->
Stdlib.Digest.tval input_cmi : Stdlib.in_channel -> Ocaml_typing.Cmi_format.cmi_infosval input_cmi_lazy :
Stdlib.in_channel ->
Ocaml_typing.Cmi_format.cmi_infos_lazyval read_cmi : string -> Ocaml_typing.Cmi_format.cmi_infosval read_cmi_lazy : string -> Ocaml_typing.Cmi_format.cmi_infos_lazy