Mavryk_time_measurement_runtime.Measurement
This module defines the model of a measurement as well as its related pretty printers and encoders.
The key of a measurement is used to discriminate measurements. It is intended to be used as a search criteria if measurements are stored in a collection.
The value of a measurement. It can actually represent both a duration or a timestamp.