Darcs.Patch.Prim.V3.Details