Module Note_brr_kit.TimeSource

The type for time spans, in seconds. FIXME move to ms.

elapsed () is the number of seconds elapsed since the beginning of the program.

tick span is an event that occurs once in span seconds with the value span - span' where span' is the actual delay performed by the system.

Note. Since the system may introduce delays you cannot assume that two different calls to tick will necessarily yield two non-simultaneous events.

delay span f calls f after span seconds.

The type for time counters.

counter () is a counter counting time from call time on.

counter_value c is the current counter value in seconds.