Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Editorial: Use "SDO of |Foo|" form for all SDO invocations
This makes the invocation form consistent for the user-code effect propagation.
- Loading branch information