~description_of_alias:LexiconAst.description_of_alias
~mk_choice:ncic_mk_choice
~mk_implicit
+ ~coercion_db:(NCicCoercion.db ())
~context:[] ~metasenv:[] ~subst:[]
- ~aliases:lexicon_status.LexiconEngine.aliases
- ~universe:(Some lexicon_status.LexiconEngine.multi_aliases)
+ ~aliases:lexicon_status.LexiconEngine.aliases
+ ~universe:(Some lexicon_status.LexiconEngine.multi_aliases)
(text,prefix_len,ty)
with
| [_,metasenv,subst,ty],_ ->