From a1efd8080465eb49b30b5bab61cf3861899876e4 Mon Sep 17 00:00:00 2001
From: Guillaume Melquiond
Date: Tue, 12 Sep 2017 16:37:43 +0200
Subject: Port is_Set and is_Type to EConstr, as was is_Prop already.

---
 API/API.mli | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'API')

diff --git a/API/API.mli b/API/API.mli
index 8b0bef48c9..c90244dcd0 100644
--- a/API/API.mli
+++ b/API/API.mli
@@ -2810,6 +2810,8 @@ sig
   val print_constr_env : Environ.env -> Evd.evar_map -> EConstr.constr -> Pp.t
   val clear_named_body : Names.Id.t -> Environ.env -> Environ.env
   val is_Prop : Evd.evar_map -> EConstr.constr -> bool
+  val is_Set : Evd.evar_map -> EConstr.constr -> bool
+  val is_Type : Evd.evar_map -> EConstr.constr -> bool
   val is_global : Evd.evar_map -> Globnames.global_reference -> EConstr.constr -> bool
 
   val eq_constr : Evd.evar_map -> EConstr.constr -> EConstr.constr -> bool
-- 
cgit v1.2.3