(NCic.Appl l)::tl -> NCic.Appl (l@tl) | l -> NCic.Appl l)
~term_of_uri:(fun uri ->
fst (OCic2NCic.convert_term uri (CicUtil.term_of_uri uri)))
+ ~term_of_nref:(fun nref -> NCic.Const nref)
name dsc
| LexiconAst.Number_alias (_, dsc) ->
let desc,f = DisambiguateChoices.lookup_num_by_dsc dsc in