Mavryk_time_measurement_runtimemodule Clock : sig ... endmodule Default : sig ... endPLEASE, 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.
module Measurement : sig ... endThis module defines the model of a measurement as well as its related pretty printers and encoders.
module Publisher : sig ... endmodule State : sig ... endPLEASE, 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.
module Time_measurement : sig ... end