tree 1236a05ccc768b1aa09e5416a656f33edd761581
parent 57e8682f2e6a62443822ebfc34f56c035cf92885
author Guillaume Endignoux <guillaumee@google.com> 1570206596 +0200
committer Guillaume Endignoux <guillaumee@google.com> 1570206601 +0200

Enhance the timer interface.

- Make Duration a generic type, supporting both isize and f64
representation.
- Derive comparison traits for Duration.
- Add a Timestamp type and arithmetic between Durations and Timestamps.