On Mon, Nov 1, 2010 at 9:50 PM, Steven D'Aprano email@example.com wrote: ..
The timeit module includes:
if sys.platform == "win32": # On Windows, the best timer is time.clock() default_timer = time.clock else: # On most other platforms the best timer is time.time() default_timer = time.time
Doesn't this mean that the requested functionality is already available as
from timeit import default_timer