val reference_of_ouri: UriManager.uri -> NReference.spec -> NReference.reference
val convert_obj: UriManager.uri -> Cic.obj -> NCic.obj list
-val convert_term: UriManager.uri -> Cic.term -> NCic.term * NCic.obj list
+(* val convert_term: UriManager.uri -> Cic.term -> NCic.term * NCic.obj list *)