Mavryk_time_measurement_runtime.StatePLEASE, 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.