/// <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);
}