Darcs.Patch.Properties

recommute

commuteInverses

permutivity

partialPermutivity

identityCommutes

inverseDoesntCommute

patchAndInverseCommute

mergeEitherWay

show_read

mergeCommute

mergeConsistent

mergeArgumentsConsistent

joinInverses

joinCommute