+let disambiguate_obj
+ ~mk_implicit ~description_of_alias ~mk_choice
+ ~aliases ~universe ~coercion_db ~lookup_in_library ~uri
+ (text,prefix_len,obj)
+ =
+ let mk_localization_tbl x = NCicUntrusted.NCicHash.create x in
+ let hint = (fun x y -> y), (fun x -> x) in
+ let res,b =
+ MultiPassDisambiguator.disambiguate_thing
+ ~freshen_thing:CicNotationUtil.freshen_obj
+ ~context:[] ~metasenv:[] ~subst:[] ~initial_ugraph:() ~aliases
+ ~mk_implicit ~description_of_alias
+ ~string_context_of_context:(List.map (fun (x,_) -> Some x))
+ ~universe
+ ~uri:(Some uri)
+ ~pp_thing:(CicNotationPp.pp_obj CicNotationPp.pp_term)
+ ~passes:(MultiPassDisambiguator.passes ())
+ ~lookup_in_library ~domain_of_thing:Disambiguate.domain_of_obj
+ ~interpretate_thing:(interpretate_obj ~mk_choice)
+ ~refine_thing:(refine_obj ~coercion_db)
+ (text,prefix_len,obj)
+ ~mk_localization_tbl ~hint
+ in
+ List.map (function (a,b,c,d,_) -> a,b,c,d) res, b
+;;