This function is called by the $SaveProxyFunction() method of an evaluator object. It is exported
for the convenience of packages inheriting from XR and would not normally be called by a user.
dumpProxyFunction(file, object, objName = object@name, docText)the file or connection for writing the function text.
arguments supplied by the evaluator method.