diff options
Diffstat (limited to 'typing/types.mli')
| -rw-r--r-- | typing/types.mli | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/typing/types.mli b/typing/types.mli index 80010b62c7..f5e75a9a44 100644 --- a/typing/types.mli +++ b/typing/types.mli @@ -412,9 +412,13 @@ type visibility = type module_type = Mty_ident of Path.t | Mty_signature of signature - | Mty_functor of Ident.t * module_type option * module_type + | Mty_functor of functor_parameter * module_type | Mty_alias of Path.t +and functor_parameter = + | Unit + | Named of Ident.t option * module_type + and module_presence = | Mp_present | Mp_absent |