X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fcic%2FhelmLibraryObjects.mli;h=0b380afbdb176bb92d85302eb49bd0e73f93d32a;hb=8c058315b08e90f975895c2354941e3cef69051e;hp=6778798998598419319370e9973398c54ec8594f;hpb=c36f0330eb500ade81392d254065048e3b1b677e;p=helm.git

diff --git a/helm/ocaml/cic/helmLibraryObjects.mli b/helm/ocaml/cic/helmLibraryObjects.mli
index 677879899..0b380afbd 100644
--- a/helm/ocaml/cic/helmLibraryObjects.mli
+++ b/helm/ocaml/cic/helmLibraryObjects.mli
@@ -180,3 +180,6 @@ val build_bin_pos : int -> Cic.term
 val build_nat :     int -> Cic.term
 val build_real :    int -> Cic.term
 
+val term_of_uri :
+  ?subst:Cic.term Cic.explicit_named_substitution -> UriManager.uri -> Cic.term
+