('refined_thing, 'metasenv,'subst,'ugraph) Disambiguate.test_result) ->
mk_localization_tbl:(int -> 'cichash) ->
string * int * 'ast_thing ->
('refined_thing, 'metasenv,'subst,'ugraph) Disambiguate.test_result) ->
mk_localization_tbl:(int -> 'cichash) ->
string * int * 'ast_thing ->