-(*
- (if benchmark then
- let res_size = List.length res in
- debug_print (sprintf
- ("BENCHMARK: %d/%d refinements performed, domain size %d, interps %d, k %.2f\n" ^^
- "BENCHMARK: estimated %.2f")
- !actual_refinements !max_refinements !domain_size res_size
- !choices_avg
- (float_of_int (!domain_size - 1) *. !choices_avg *. (float_of_int res_size) +. !choices_avg)));
-*)
- let choices, b = res in
- (List.map
- (fun (env, metasenv, t, ugraph) ->
- Environment.fold Environment.add env aliases,
- metasenv, t, ugraph)
- choices),
- b