Tezos_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.
val key_encoding : (string * string list) Data_encoding.encoding
val value_encoding : float Data_encoding.encoding
val measurement_encoding :
((string * string list) * float) Data_encoding.encoding
val measurements_encoding :
((string * string list) * float) list Data_encoding.encoding