diff options
| author | Thomas Refis <thomas.refis@gmail.com> | 2019-09-02 11:43:26 +0100 |
|---|---|---|
| committer | Thomas Refis <thomas.refis@gmail.com> | 2019-09-11 13:44:31 -0400 |
| commit | 6f492fdbd9c352c0502c118a80d451b8867b1dae (patch) | |
| tree | 7957c84f5a7425a87a8aaa99f261f18750daec3f /typing/types.mli | |
| parent | f814450b605852429613e4ae7f68bac0382e3f1d (diff) | |
| download | ocaml-pr8908.tar.gz | |
PR#8908: used as a base for other PRs.pr8908
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 |