> A transaction is atomic If/Then/Else construct over the key-value store.
Does the atomicity mean that If/Then/Else is atomic as a whole? Or If's compares are atomic, Then's RequestOps are atomic, and Else's RequestOps are atomic separately. If the former is true, it means if Compare shows that a key does not exist, Then's RangeRequest should not return such a key. If the latter is true, Then's RangeRequest may return such a key since a Put may happen between the Compare and RangeRequest.
