``@param File $file``. It is more rpecise than just ``object``