Assigned
Status Update
Comments
se...@google.com <se...@google.com> #3
Just FYI, yeah it is strong guarantee that was specially designed this way. I keep it open as request to improve documentation
No update yet.
Just FYI, yeah it is strong guarantee that was specially designed this way. I keep it open as request to improve documentation
Description
> Invariant: at any moment of time for observer1 & observer2: if addition_order(observer1) < addition_order(observer2), then state(observer1) >= state(observer2)
If it's expected that this invariant will always hold, it seems worth adding to the API documentation.