procedural : some improvements.

[helm.git] / components / acic_procedural / proceduralConversion.mli

diff --git a/components/acic_procedural/proceduralConversion.mli b/components/acic_procedural/proceduralConversion.mli
index d5ad4fd1c9634e7620bc4f8d9f53195792ceeeb4..fef3ad07b0aba093fb3d4342bf93c098ceac11e8 100644 (file)
--- a/components/acic_procedural/proceduralConversion.mli
+++ b/components/acic_procedural/proceduralConversion.mli
@@ -26,3 +26,8 @@
 val need_whd: int -> Cic.annterm -> bool
 
 val lift: int -> int -> Cic.annterm -> Cic.annterm
+
+val mk_ind: 
+   Cic.context -> Cic.id -> UriManager.uri -> int -> 
+   Cic.annterm -> Cic.annterm -> Cic.annterm list ->
+   Cic.annterm option