Mavryk_time_measurement_runtime.Time_measurement
PLEASE, DO NOT DIRECTLY USE THIS MODULE BY YOURSELF IN YOUR OWN CODE. IT IS ONLY INTENDED TO BE USED THROUGH Mavryk_time_measurement_ppx
PPX REWRITERS FOR TESTING.
AN UNWISE USE COULD SEVERELY IMPACT THE MEMORY USAGE OF YOUR PROGRAM.
This module offers several functionalities:
module type S = sig ... end
module Make
(S : State.S with type elt := Measurement.t)
(P : Publisher.S)
(C : Clock.S) :
S
A time measurement tool that uses the given clock C
to measure the time, stores resulting measurements inside the given state S
and publishes stored measurements using the publisher P
.