summaryrefslogtreecommitdiff
path: root/binary-compat/compat/3.12.0/v3120_ast.mli
diff options
context:
space:
mode:
Diffstat (limited to 'binary-compat/compat/3.12.0/v3120_ast.mli')
-rw-r--r--binary-compat/compat/3.12.0/v3120_ast.mli17
1 files changed, 17 insertions, 0 deletions
diff --git a/binary-compat/compat/3.12.0/v3120_ast.mli b/binary-compat/compat/3.12.0/v3120_ast.mli
new file mode 100644
index 0000000000..7c805fea15
--- /dev/null
+++ b/binary-compat/compat/3.12.0/v3120_ast.mli
@@ -0,0 +1,17 @@
+
+module AST : sig
+
+ module Asttypes : sig
+ val constant : V3120_types.Asttypes.constant -> Asttypes.constant
+ val virtual_flag : V3120_types.Asttypes.virtual_flag -> Asttypes.virtual_flag
+ val private_flag : V3120_types.Asttypes.private_flag -> Asttypes.private_flag
+ val rec_flag : V3120_types.Asttypes.rec_flag -> Asttypes.rec_flag
+ val mutable_flag : V3120_types.Asttypes.mutable_flag -> Asttypes.mutable_flag
+ val direction_flag : V3120_types.Asttypes.direction_flag -> Asttypes.direction_flag
+ end
+
+(* functor(S: sig end) -> sig end *)
+ end
+
+val input_intf_file : in_channel -> string -> Parsetree.signature
+val input_impl_file : in_channel -> string -> Parsetree.structure \ No newline at end of file