diff options
Diffstat (limited to 'typing')
| -rw-r--r-- | typing/typedtree.mli | 6 | ||||
| -rw-r--r-- | typing/types.mli | 6 |
2 files changed, 6 insertions, 6 deletions
diff --git a/typing/typedtree.mli b/typing/typedtree.mli index 5999ea071e..b314c8eafa 100644 --- a/typing/typedtree.mli +++ b/typing/typedtree.mli @@ -120,10 +120,10 @@ and core_contract = and core_contract_desc = Tctr_pred of Ident.t * expression * ((pattern * expression) list) option - | Tctr_arrow of Ident.t option * core_contract * core_contract - | Tctr_tuple of (Ident.t option * core_contract) list + | Tctr_arrow of Ident.t * core_contract * core_contract + | Tctr_tuple of (Ident.t * core_contract) list | Tctr_constr of Path.t * constructor_description - * (Ident.t option * core_contract) list + * (Ident.t * core_contract) list | Tctr_and of core_contract * core_contract | Tctr_or of core_contract * core_contract | Tctr_typconstr of Path.t * core_contract list diff --git a/typing/types.mli b/typing/types.mli index b99d00c1f6..584d7d6a4c 100644 --- a/typing/types.mli +++ b/typing/types.mli @@ -261,10 +261,10 @@ and core_contract = and core_contract_desc = Tctr_pred of Ident.t * expression * ((pattern * expression) list) option - | Tctr_arrow of Ident.t option * core_contract * core_contract - | Tctr_tuple of (Ident.t option * core_contract) list + | Tctr_arrow of Ident.t * core_contract * core_contract + | Tctr_tuple of (Ident.t * core_contract) list | Tctr_constr of Path.t * constructor_description - * (Ident.t option * core_contract) list + * (Ident.t * core_contract) list | Tctr_and of core_contract * core_contract | Tctr_or of core_contract * core_contract | Tctr_typconstr of Path.t * core_contract list |