fact: Definition representation (k : kind) : representation_kind := match k with | BodyFlatPHOAS => PHOAS | ArgPHOAS _ => PHOAS | BodyHOAS _ => HOAS end.
imports: Reify.ReifyCommon Coq.NArith.NArith PerformanceExperiments.Harness Reify.BenchmarkExtraUtil