[Python-ideas] time.wallclock() or other similar stuff

[Alexander Belopolsky]

On Mon, Nov 1, 2010 at 9:50 PM, Steven D'Aprano <steve at pearwood.info> 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

?