No, that is not needed. An object which has a method `() of type function(a:b) is assignable to a variable/formal parameter of type function(a:b). So just "function" will do, although in general I'd recommend specifying the argument and return types as well, for better static typechecking.