Mavryk_time_measurement_runtime.Time_measurementPLEASE, 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 ... endmodule Make
(S : State.S with type elt := Measurement.t)
(P : Publisher.S)
(C : Clock.S) :
SA 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.