processing
processing copied to clipboard
Daniel-Diaz
Renaming of ProcArg type
The ProcArg type is the disjoint union of all the Proc_* types. Perhaps it deserves another name, like ProcUnion or ProcAny.
