fact: Definition is_flat (k : kind) : bool := match k with | BodyFlatPHOAS => true | ArgPHOAS is_flat => is_flat | BodyHOAS is_flat => is_flat end.
imports: Reify.ReifyCommon Coq.NArith.NArith PerformanceExperiments.Harness Reify.BenchmarkExtraUtil