val term_of_cic_textual_parser_uri: CicTextualParser0.uri -> Cic.term
val wrong_xpointer_format_from_wrong_xpointer_format' : string -> string
val term_of_cic_textual_parser_uri: CicTextualParser0.uri -> Cic.term
val wrong_xpointer_format_from_wrong_xpointer_format' : string -> string