diff options
Diffstat (limited to 'parsing/ast_helper.mli')
| -rw-r--r-- | parsing/ast_helper.mli | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/parsing/ast_helper.mli b/parsing/ast_helper.mli index a498ece07d..42ce9e2e98 100644 --- a/parsing/ast_helper.mli +++ b/parsing/ast_helper.mli @@ -288,6 +288,7 @@ module Sig: val mod_subst: ?loc:loc -> module_substitution -> signature_item val rec_module: ?loc:loc -> module_declaration list -> signature_item val modtype: ?loc:loc -> module_type_declaration -> signature_item + val modtype_subst: ?loc:loc -> module_type_declaration -> signature_item val open_: ?loc:loc -> open_description -> signature_item val include_: ?loc:loc -> include_description -> signature_item val class_: ?loc:loc -> class_description list -> signature_item |