let disambiguate_thing ~passes ~freshen_thing ~context ~metasenv ~subst
~string_context_of_context ~initial_ugraph ~hint ~mk_implicit
~description_of_alias ~aliases ~universe ~lookup_in_library ~uri ~pp_thing
- ~domain_of_thing ~interpretate_thing ~refine_thing ~localization_tbl thing
+ ~domain_of_thing ~interpretate_thing ~refine_thing ~mk_localization_tbl thing
=
let f ~fresh_instances ~aliases ~universe ~use_coercions (txt,len,thing) =
- let thing = if fresh_instances then freshen_thing thing else thing
- in
+ let thing = if fresh_instances then freshen_thing thing else thing in
Disambiguate.disambiguate_thing
~context ~metasenv ~subst ~use_coercions ~string_context_of_context
~initial_ugraph ~hint ~mk_implicit ~description_of_alias
~aliases ~universe ~lookup_in_library
~uri ~pp_thing ~domain_of_thing ~interpretate_thing ~refine_thing
- ~localization_tbl (txt,len,thing)
+ ~mk_localization_tbl (txt,len,thing)
in
disambiguate_thing ~description_of_alias ~passes ~aliases ~universe ~f thing