fact: Definition max_input_of_kind (k : red_kind) : option Z := match k with | vm => None | native => None | cbv => None | lazy => None | cbn => None | simpl => None end.
imports: Coq.QArith.QArith Coq.MSets.MSetPositive Coq.Classes.Morphisms Coq.Setoids.Setoid Coq.ZArith.ZArith Coq.Lists.List PerformanceExperiments.Harness