On 10/1/2018 4:56 PM, Timon Gehr wrote:
There was no 'scope' in the OP, and no, that is not sufficient either, because scope is not transitive but shared is.
Oops, I missed that point. Glad you noticed it.
On 10/1/2018 4:56 PM, Timon Gehr wrote:
There was no 'scope' in the OP, and no, that is not sufficient either, because scope is not transitive but shared is.
Oops, I missed that point. Glad you noticed it.