neg => Qneg :-)

[helm.git] / components / cic / libraryObjects.mli

diff --git a/components/cic/libraryObjects.mli b/components/cic/libraryObjects.mli
index f0d8e4631baa309212b73ab7be9b49f927b41484..bb742f1722481b36ca28b5676ea5e467c19ea6e4 100644 (file)
--- 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
+