+(*
+ (** 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} *)
+
+val params_of_obj: Cic.obj -> UriManager.uri list
+val attributes_of_obj: Cic.obj -> Cic.attribute list
+
+(** mk_rels [howmany] [from]
+ * creates a list of [howmany] rels starting from [from] in decreasing order *)
+val mk_rels : int -> int -> Cic.term list
+
+(** profile s
+ * returns a profiling function; [s] is used for labelling the total time at
+ the end of the execution *)
+val profile : string -> ('a -> 'b) -> 'a -> 'b