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.