- patch(+Orig:string, +Diff:string, -Merged:string, +Options)
- Patch the string Orig using Diff. Options:
- status(-Status)
- Unify Status with the completion status of patch. This
is
exit(0) for smooth completion and exit(1) if there are
merge conflicts.
- stderr(-String)
- Unify String with the data
patch(1) sent to standard error.