diff options
Diffstat (limited to 'typing/outcometree.mli')
| -rw-r--r-- | typing/outcometree.mli | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/typing/outcometree.mli b/typing/outcometree.mli index 852a9ee15a..80c28ea085 100644 --- a/typing/outcometree.mli +++ b/typing/outcometree.mli @@ -60,6 +60,8 @@ type out_type = | Otyp_variant of bool * out_variant * bool * (string list) option | Otyp_poly of string list * out_type + | Otyp_module of string * string list * out_type list + and out_variant = | Ovar_fields of (string * bool * out_type list) list | Ovar_name of out_ident * out_type list |