val reference_of_ouri: UriManager.uri -> NReference.spec -> NReference.reference
val convert_obj: UriManager.uri -> Cic.obj -> NCic.obj list
val reference_of_ouri: UriManager.uri -> NReference.spec -> NReference.reference
val convert_obj: UriManager.uri -> Cic.obj -> NCic.obj list