fact: Definition nat_of_size (sz : size) : nat := match sz with | Sanity => 0 | SuperFast => 1 | Fast => 2 | Medium => 3 | Slow => 4 | VerySlow => 5 end%nat.
imports: Coq.QArith.QArith Coq.Structures.Orders Coq.micromega.Lia Coq.Bool.Bool Coq.Sorting.Mergesort Coq.Lists.List Coq.ZArith.ZArith PerformanceExperiments.Sandbox