let compatible_function data actuals func = compatible_formals data actuals (List.map fst func.formals)