X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fcomponents%2Fcic%2FlibraryObjects.mli;h=bb742f1722481b36ca28b5676ea5e467c19ea6e4;hb=87bfe7fa6c7b906646a0094180e69c0b0373ce10;hp=f0d8e4631baa309212b73ab7be9b49f927b41484;hpb=ea651f11cbc6edb17e8d0d16c239e0cf3f526959;p=helm.git

diff --git a/helm/software/components/cic/libraryObjects.mli b/helm/software/components/cic/libraryObjects.mli
index f0d8e4631..bb742f172 100644
--- a/helm/software/components/cic/libraryObjects.mli
+++ b/helm/software/components/cic/libraryObjects.mli
@@ -64,3 +64,6 @@ val false_URI : unit -> UriManager.uri option
 val true_URI : unit -> UriManager.uri option
 val absurd_URI : unit -> UriManager.uri option
 
+val build_nat : int -> Cic.term
+val destroy_nat : Cic.annterm -> int option
+