What is the definition of a higher-order function?