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
-
+val nat_URI : unit -> UriManager.uri option
+val is_nat_URI : UriManager.uri -> bool