-
Type: Improvement
-
Resolution: Done
-
Priority: Minor - P4
-
Affects Version/s: None
-
Component/s: Concurrency, Storage
-
None
-
Fully Compatible
-
Quint Iteration 3
Nested units of work are confusing to storage engine implementers, and are not actually needed. Removing them simplifies documentation.