diff options
| author | Emilio Jesus Gallego Arias | 2017-12-09 23:14:19 +0100 |
|---|---|---|
| committer | Emilio Jesus Gallego Arias | 2017-12-09 23:21:29 +0100 |
| commit | 611da26d847888031cac4d6976b9e7e1e90cdc0e (patch) | |
| tree | afe5585510610fc26e7fb4381b322b7cc1323c91 /API | |
| parent | 319a3c230e9f9ec5a8a5bea9e07b6b8d17444ac9 (diff) | |
[api] Remove yet another type alias.
Diffstat (limited to 'API')
| -rw-r--r-- | API/API.mli | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/API/API.mli b/API/API.mli index abbdf22b91..21d5ada764 100644 --- a/API/API.mli +++ b/API/API.mli @@ -2775,6 +2775,8 @@ sig end type universe_constraints = Constraints.t + [@@ocaml.deprecated "Use Constraints.t"] + end module UState : @@ -3111,7 +3113,7 @@ sig val fold : Evd.evar_map -> ('a -> constr -> 'a) -> 'a -> constr -> 'a val existential_type : Evd.evar_map -> existential -> types val iter : Evd.evar_map -> (constr -> unit) -> constr -> unit - val eq_constr_universes : Evd.evar_map -> constr -> constr -> Universes.universe_constraints option + val eq_constr_universes : Evd.evar_map -> constr -> constr -> Universes.Constraints.t option val eq_constr_nounivs : Evd.evar_map -> constr -> constr -> bool val compare_constr : Evd.evar_map -> (constr -> constr -> bool) -> constr -> constr -> bool val isApp : Evd.evar_map -> constr -> bool |