diff options
Diffstat (limited to 'typing/types.mli')
| -rw-r--r-- | typing/types.mli | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/typing/types.mli b/typing/types.mli index 8ed6e6a844..3a26fd3791 100644 --- a/typing/types.mli +++ b/typing/types.mli @@ -143,6 +143,7 @@ and type_kind = | Type_variant of (string * type_expr list) list | Type_record of (string * mutable_flag * type_expr) list * record_representation + | Type_private of type_kind type exception_declaration = type_expr list |