Mavryk_benchmark.Builtin_benchmarks
Private module for internal benchmarks
module Timer_latency_bench : Benchmark.Simple
A "benchmark" for the timer itself.