val term_of_uri: string -> Cic.term (** @raise UriManager.IllFormedUri *)
val uri_of_term: Cic.term -> string (** @raise Invalid_argument "uri_of_term" *)
+(*
(** packing/unpacking of several terms into a single one *)
val pack: Cic.term list -> Cic.term
val unpack: Cic.term -> Cic.term list
+*)
(** {2 Cic selectors} *)