diff options
Diffstat (limited to 'binary-compat/compat/3.11.2/v3112_cmx.mli')
| -rw-r--r-- | binary-compat/compat/3.11.2/v3112_cmx.mli | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/binary-compat/compat/3.11.2/v3112_cmx.mli b/binary-compat/compat/3.11.2/v3112_cmx.mli new file mode 100644 index 0000000000..9a8e0cb112 --- /dev/null +++ b/binary-compat/compat/3.11.2/v3112_cmx.mli @@ -0,0 +1,4 @@ + +module CMX : functor(M : sig end) -> sig end + +val input_cmx_file : in_channel -> string -> Cmo_format.cmo_unit |