val disambiguate_command:
LexiconEngine.status ->
- baseuri:string option ->
+ ?baseuri:string ->
Cic.metasenv ->
((CicNotationPt.term,CicNotationPt.term CicNotationPt.obj) GrafiteAst.command) Disambiguate.disambiguator_input ->
LexiconEngine.status * Cic.metasenv * (Cic.term,Cic.obj) GrafiteAst.command