fact: Definition is_native (k : kind) : bool := match k.(tactic) with | identity native_compute => true | identity _ | red_Denote _ | refine_let | transitivity => false end.
imports: Reify.Common Reify.BenchmarkUtil Reify.PHOAS Reify.BenchmarkExtraUtil PerformanceExperiments.Harness