Module inverse 

Patch inversion: generate an undo patch for any applied patch.

Key property: apply(inverse(p), apply(p, module)) == module

Functions

invert_patch

Generate an inverse patch that undoes the given patch.