fact: Record kind := { is_flat : bool ; representation : representation_kind }.
imports: Reify.ReifyCommon Coq.Lists.List Coq.NArith.NArith PerformanceExperiments.Harness Reify.BenchmarkExtraUtil Reify.CanonicalStructuresReifyCommon