diff options
Diffstat (limited to 'binary-compat/compat/3.12.0/v3120_cmo.mli')
| -rw-r--r-- | binary-compat/compat/3.12.0/v3120_cmo.mli | 25 |
1 files changed, 25 insertions, 0 deletions
diff --git a/binary-compat/compat/3.12.0/v3120_cmo.mli b/binary-compat/compat/3.12.0/v3120_cmo.mli new file mode 100644 index 0000000000..21f5f58a15 --- /dev/null +++ b/binary-compat/compat/3.12.0/v3120_cmo.mli @@ -0,0 +1,25 @@ + +module CMO : sig + module Lambda : + sig + val structured_constant : + V3120_types.Lambda.structured_constant -> + Lambda.structured_constant + val primitive : + V3120_types.Lambda.primitive -> Lambda.primitive + val meth_kind : + V3120_types.Lambda.meth_kind -> Lambda.meth_kind + end + module Cmo_format : + sig + val compilation_unit : + V3120_types.Cmo_format.compilation_unit -> + Cmo_format.compilation_unit + val library : + V3120_types.Cmo_format.library -> Cmo_format.library + end + end + + (* functor(M : sig end) -> sig end *) + +val input_cmo_file : in_channel -> string -> Cmo_format.cmo_unit |