diff options
Diffstat (limited to 'typing/includecore.mli')
| -rw-r--r-- | typing/includecore.mli | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/typing/includecore.mli b/typing/includecore.mli new file mode 100644 index 0000000000..6c6e6417c2 --- /dev/null +++ b/typing/includecore.mli @@ -0,0 +1,10 @@ +(* Inclusion checks for the core language *) + +open Typedtree + +val value_descriptions: + Env.t -> value_description -> value_description -> bool +val type_declarations: + Env.t -> Ident.t -> type_declaration -> type_declaration -> bool +val exception_declarations: + Env.t -> exception_declaration -> exception_declaration -> bool |