/// <summary> /// Register an extension function with the Processor /// </summary> /// <param name="function"> /// An object that defines the extension function, including its name, arity, arguments types, and /// a reference to the class that implements the extension function call. /// </param> public void RegisterExtensionFunction(ExtensionFunctionDefinition function) { WrappedExtensionFunctionDefinition f = new WrappedExtensionFunctionDefinition(function); config.registerExtensionFunction(f); }