Darcs.Patch.Properties
recommute
commuteInverses
permutivity
partialPermutivity
identityCommutes
inverseDoesntCommute
patchAndInverseCommute
mergeEitherWay
show_read
mergeCommute
mergeConsistent
mergeArgumentsConsistent
joinInverses
joinCommute