let diff, metasenv, subst, cic =
singleton "first"
(NCicDisambiguate.disambiguate_term
- ~rdb:estatus.NEstatus.rstatus
+ ~rdb:estatus.NEstatus.rstatus.NRstatus.refiner_status
~aliases:estatus.NEstatus.lstatus.LexiconEngine.aliases
~expty
~universe:(Some estatus.NEstatus.lstatus.LexiconEngine.multi_aliases)
(try
(match
NCicDisambiguate.disambiguate_obj
- ~rdb:estatus.NEstatus.rstatus
+ ~rdb:estatus.NEstatus.rstatus.NRstatus.refiner_status
~lookup_in_library:nlookup_in_library
~description_of_alias:LexiconAst.description_of_alias
~mk_choice:ncic_mk_choice
~mk_choice:ncic_mk_choice
~mk_implicit
~uri:(OCic2NCic.nuri_of_ouri uri)
- ~rdb:estatus.NEstatus.rstatus
+ ~rdb:estatus.NEstatus.rstatus.NRstatus.refiner_status
~aliases:estatus.NEstatus.lstatus.LexiconEngine.aliases
~universe:(Some estatus.NEstatus.lstatus.LexiconEngine.multi_aliases)
(text,prefix_len,obj)) in