如何从Jenkins管道中的另一个文件调用函数？

// functions.groovy
def myFunction(String input) {
    return "Hello, ${input}!"
}

// Jenkinsfile
pipeline {
    agent any

    stages {
        stage('Demo') {
            steps {
                script {
                    // 加载 functions.groovy 文件
                    def functions = load 'functions.groovy'

                    // 调用 functions.groovy 中的 myFunction 函数
                    def result = functions.myFunction('World')

                    // 输出结果
                    echo result
                }
            }
        }
    }
}