diff options
Diffstat (limited to 'typing/types.mli')
| -rw-r--r-- | typing/types.mli | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/typing/types.mli b/typing/types.mli index a4c640845..962dfd02e 100644 --- a/typing/types.mli +++ b/typing/types.mli @@ -103,6 +103,7 @@ and value_kind = type constructor_description = { cstr_res: type_expr; (* Type of the result *) + cstr_existentials: type_expr list; (* list of existentials *) cstr_args: type_expr list; (* Type of the arguments *) cstr_arity: int; (* Number of arguments *) cstr_tag: constructor_tag; (* Tag for heap blocks *) @@ -147,6 +148,7 @@ and type_kind = | Type_variant of (string * type_expr list) list | Type_record of (string * mutable_flag * type_expr) list * record_representation + | Type_generalized_variant of (string * type_expr list * type_expr option) list type exception_declaration = type_expr list |