Add std/monotimes which implements monotonic timestamps (#11712)

* [feature] Added std/monotimes

* [other] Minor optimization in times
This commit is contained in:
Andreas Rumpf 2019-07-15 13:47:30 +02:00 • committed by GitHub
commit 8513f50a8d
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
5 changed files with 195 additions and 10 deletions

View file

@ -185,7 +185,10 @@ Generic Operating System Services
Module for process communication beyond ``os.execShellCmd``.
* `times <times.html>`_
The ``times`` module contains basic support for working with time.
The ``times`` module contains support for working with time.
* `std/monotimes <monotimes.html>`_
The `monotimes` module implements monotonic timestamps.
* `dynlib <dynlib.html>`_
This module implements the ability to access symbols from shared libraries.