X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=components%2Fcic%2FlibraryObjects.mli;h=bb742f1722481b36ca28b5676ea5e467c19ea6e4;hb=6e01bb1ae52fe45ce77a7f950efb5feb295e82b1;hp=f0d8e4631baa309212b73ab7be9b49f927b41484;hpb=729b9103bd8783891f80ce6d7ea4c393a76b7ea8;p=helm.git

diff --git a/components/cic/libraryObjects.mli b/components/cic/libraryObjects.mli
index f0d8e4631..bb742f172 100644
--- a/components/cic/libraryObjects.mli
+++ b/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
+