Module Time_stamp_counter_benchmarks

module Time_stamp_counter_benchmarks: sig .. end

module TSC: Time_stamp_counter