let compatible_signature data ret_type actuals func = compatible_return data ret_type func && compatible_function data actuals func