CicNotationPt.term Disambiguate.disambiguator_input ->
NCic.metasenv * NCic.substitution * LexiconEngine.status * NCic.term
+val disambiguate_nobj :
+ LexiconEngine.status -> ?baseuri:string ->
+ (CicNotationPt.term CicNotationPt.obj) Disambiguate.disambiguator_input ->
+ LexiconEngine.status * NCic.obj
+
type pattern =
CicNotationPt.term Disambiguate.disambiguator_input option *
(string * NCic.term) list * NCic.term option