diff options
Diffstat (limited to 'binary-compat/compat/3.11.2/v3112_cmi.mli')
| -rw-r--r-- | binary-compat/compat/3.11.2/v3112_cmi.mli | 31 |
1 files changed, 31 insertions, 0 deletions
diff --git a/binary-compat/compat/3.11.2/v3112_cmi.mli b/binary-compat/compat/3.11.2/v3112_cmi.mli new file mode 100644 index 0000000000..d74c1f9ac3 --- /dev/null +++ b/binary-compat/compat/3.11.2/v3112_cmi.mli @@ -0,0 +1,31 @@ + +module CMI : sig + module Ident : + sig + val reset : unit -> unit + val t : V3112_types.Ident.t -> Ident.t + end + module Path : sig val t : V3112_types.Path.t -> Path.t end + module Primitive : + sig + val description : + V3112_types.Primitive.description -> Primitive.description + end + module Types : + sig + val reset : unit -> unit + val signature_item : + V3112_types.Types.signature_item -> Types.signature_item + val record_representation : + V3112_types.Types.record_representation -> + Types.record_representation + end + module Cmi_format : + sig + val pers_flags : + V3112_types.Cmi_format.pers_flags -> Cmi_format.pers_flags + end + end + + +val input_cmi_file : in_channel -> string -> Cmi_format.cmi_file |