Darcs.Patch.Properties
recommute
commute_inverses
permutivity
partial_permutivity
identity_commutes
inverse_doesnt_commute
patch_and_inverse_commute
merge_either_way
show_read
merge_commute
merge_consistent
merge_arguments_consistent
join_inverses
join_commute