diff options
Diffstat (limited to 'API/API.mli')
| -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 abbdf22b9..21d5ada76 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 |