X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fcomponents%2Fng_kernel%2FnCicUtils.mli;h=6af6ac8f0cc1a7397b4d55b274588b0c5865538a;hb=6beaf573e5639ddba6b55488e44aa6d4f298b052;hp=45c444ac4118dc926ef1e7b466493fcd4c330f37;hpb=b7387e01fb1ce2745a6df6ffc254dba7d13d35ac;p=helm.git

diff --git a/helm/software/components/ng_kernel/nCicUtils.mli b/helm/software/components/ng_kernel/nCicUtils.mli
index 45c444ac4..6af6ac8f0 100644
--- a/helm/software/components/ng_kernel/nCicUtils.mli
+++ b/helm/software/components/ng_kernel/nCicUtils.mli
@@ -25,5 +25,9 @@
 
 (* $Id: nCicSubstitution.ml 8135 2008-02-13 15:35:43Z tassi $ *)
 
+exception Subst_not_found of int
+
 val expand_local_context : NCic.lc_kind -> NCic.term list
 
+val lookup_subst: int ->  NCic.substitution -> NCic.subst_entry
+