fact: Definition args_of_size (k : kind) (s : size) : list N := match k.(is_flat), k.(order), s with | _, _, Sanity => List.firstn 4 sequence | _, reif_beta, SuperFast => args_of_max_n 1000 | _, reif_beta, _ => args_of_max_n 30000 | _, beta_reif, SuperFast => args_of_max_n 500 | _, beta_reif, Fast => args_of_max_n 5000 | _, beta_reif, _ => args_of_max_n 30000 end.
imports: Reify.ReifyCommon Coq.NArith.NArith PerformanceExperiments.Harness Reify.ParametricityCommon Reify.BenchmarkExtraUtil