('refined_thing, 'metasenv,'subst,'ugraph) test_result) ->
mk_localization_tbl:(int -> 'cichash) ->
'ast_thing disambiguator_input ->
((DisambiguateTypes.Environment.key * 'alias) list *
'metasenv * 'subst * 'refined_thing * 'ugraph)
list * bool
('refined_thing, 'metasenv,'subst,'ugraph) test_result) ->
mk_localization_tbl:(int -> 'cichash) ->
'ast_thing disambiguator_input ->
((DisambiguateTypes.Environment.key * 'alias) list *
'metasenv * 'subst * 'refined_thing * 'ugraph)
list * bool