+ NCic.metasenv * NCic.substitution * NEstatus.extra_status * NCic.term
+
+val disambiguate_nobj :
+ NEstatus.extra_status ->
+ ?baseuri:string ->
+ (CicNotationPt.term CicNotationPt.obj) Disambiguate.disambiguator_input ->
+ NEstatus.extra_status * NCic.obj