X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fcomponents%2Flibrary%2FcoercDb.mli;h=d8a8b0574de506f222da61acfb073f9074723896;hb=d5c1f34cd226898525168e470d3e2ec273699826;hp=95dd96c0b18a2fd9a3849a8b707b74b1e1a7e38a;hpb=bdf989481462c1185c9cbbfdd4b31d13aa4352b3;p=helm.git

diff --git a/helm/software/components/library/coercDb.mli b/helm/software/components/library/coercDb.mli
index 95dd96c0b..d8a8b0574 100644
--- a/helm/software/components/library/coercDb.mli
+++ b/helm/software/components/library/coercDb.mli
@@ -36,12 +36,15 @@ type coerc_carr =
   | Uri of UriManager.uri (* const, mutind, mutconstr *)
   | Sort of Cic.sort (* Prop, Set, Type *) 
   | Term of Cic.term (* nothing supported *)
+  | Fun of int
+;;
   
 exception EqCarrNotImplemented of string Lazy.t
 exception EqCarrOnNonMetaClosed
 val eq_carr: coerc_carr -> coerc_carr -> bool
 val coerc_carr_of_term: Cic.term -> coerc_carr
 val name_of_carr: coerc_carr -> string
+val uri_of_carr: coerc_carr -> UriManager.uri option
 
 val to_list:
   unit ->