diff options
Diffstat (limited to 'parsing/parsetree.mli')
| -rw-r--r-- | parsing/parsetree.mli | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/parsing/parsetree.mli b/parsing/parsetree.mli index 0307cea547..72cfd3a467 100644 --- a/parsing/parsetree.mli +++ b/parsing/parsetree.mli @@ -207,6 +207,7 @@ and module_type_desc = | Pmty_signature of signature | Pmty_functor of string * module_type * module_type | Pmty_with of module_type * (Longident.t * with_constraint) list + | Pmty_typeof of module_expr and signature = signature_item list |