Data.Csv
val pp_benchmark : Stdlib.out_channel -> benchmark -> unit
print_benchmark filename benchmark Output benchmark data in CSV format
print_benchmark filename benchmark