- (CicNotationPt.obj GrafiteAst.command) Disambiguate.disambiguator_input ->
- LexiconEngine.status * Cic.metasenv * Cic.obj GrafiteAst.command
+ ((CicNotationPt.term,CicNotationPt.term CicNotationPt.obj) GrafiteAst.command) Disambiguate.disambiguator_input ->
+ LexiconEngine.status * Cic.metasenv * (Cic.term,Cic.obj) GrafiteAst.command