On 10/21/2015 11:58 AM, Timon Gehr wrote:
For which containers we want to support is "2." not a (wrapper around a) pointer to "3."?
For those that need reference counting. -- Andrei
On 10/21/2015 11:58 AM, Timon Gehr wrote:
For which containers we want to support is "2." not a (wrapper around a) pointer to "3."?
For those that need reference counting. -- Andrei