From 771be16883c8c47828f278ce49545716918764c4 Mon Sep 17 00:00:00 2001 From: Pierre-Marie Pédrot Date: Sat, 12 Nov 2016 01:52:15 +0100 Subject: Hipattern API using EConstr. --- engine/termops.mli | 2 ++ 1 file changed, 2 insertions(+) (limited to 'engine/termops.mli') diff --git a/engine/termops.mli b/engine/termops.mli index 02e8dfeae..abc9caa98 100644 --- a/engine/termops.mli +++ b/engine/termops.mli @@ -268,6 +268,8 @@ val is_section_variable : Id.t -> bool val global_of_constr : Evd.evar_map -> EConstr.constr -> Globnames.global_reference puniverses +val is_global : Evd.evar_map -> Globnames.global_reference -> EConstr.constr -> bool + val isGlobalRef : Evd.evar_map -> EConstr.t -> bool val is_template_polymorphic : env -> Evd.evar_map -> EConstr.t -> bool -- cgit v1.2.3