let free_vars_funcs bound funcs = let sets = List.map (free_vars_func bound) funcs in List.fold_left StringSet.union StringSet.empty sets