Mavkit_smart_rollup_wasm_benchmark_libmodule Data : sig ... endHow to collect and store data
module Exec : sig ... endUtilities used to run the PVM
module Inputs : sig ... endDefines interface to access / document inputs
module Measure : sig ... endmodule Pvm_instance : sig ... endmodule Scenario : sig ... endDefines a type scenario and its constructors, how to run it on the PVM