+val lookup_symbol_by_dsc:
+ mk_appl: ('term list -> 'term) ->
+ mk_implicit: (bool -> 'term) ->
+ term_of_uri: (UriManager.uri -> 'term) ->
+ term_of_nref: (NReference.reference -> 'term) ->
+ string -> string -> 'term codomain_item
+
+val cic_lookup_symbol_by_dsc:
+ string -> string -> Cic.term codomain_item