From 96333c1bf27f33c15e2475c11c7bfefe87d3a6e1 Mon Sep 17 00:00:00 2001
From: Hugo Herbelin
Date: Mon, 11 May 2020 17:41:58 +0200
Subject: Search: new clauses for searching head, conclusion, kind... - new
 clauses "hyp:", "concl:", "headhyp:" and "headconcl:" to restrict   match to
 an hypothesis or the conclusion, possibly only at the head   (like SearchHead
 in this latter case) - new clause "is:" to search by kind of object (for some
 list of kinds) - support for any combination of negations, disjunctions and
 conjunctions,   using a syntax close to that of intropatterns.

---
 interp/dumpglob.mli | 1 +
 1 file changed, 1 insertion(+)

(limited to 'interp')

diff --git a/interp/dumpglob.mli b/interp/dumpglob.mli
index 14e5a81308..be1e3f05d2 100644
--- a/interp/dumpglob.mli
+++ b/interp/dumpglob.mli
@@ -49,3 +49,4 @@ val type_of_global_ref : Names.GlobRef.t -> string
 
 (** Registration of constant information *)
 val add_constant_kind : Names.Constant.t -> Decls.logical_kind -> unit
+val constant_kind : Names.Constant.t -> Decls.logical_kind
-- 
cgit v1.2.3