On 6/2/15 5:53 PM, Timon Gehr wrote:
Indeed, but I think this facility is undocumented. Maybe it should be exposed via the standard library?
A good idea, please bugzilla so we don't forget. -- Andrei
On 6/2/15 5:53 PM, Timon Gehr wrote:
Indeed, but I think this facility is undocumented. Maybe it should be exposed via the standard library?
A good idea, please bugzilla so we don't forget. -- Andrei