On 12/04/2015 03:19 AM, Andrei Alexandrescu wrote: > On 12/03/2015 08:55 PM, Timon Gehr wrote: >> I don't really understand what calling it 'complexity' actually buys >> though. > > Instant understanding by everyone. -- Andrei Well, no. "running time" is actually more descriptive.