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