fact: Definition do_trans_of_size (sz : Harness.size) := match sz with | Harness.Sanity => true | _ => false end.
imports: Coq.Lists.List Coq.NArith.NArith PerformanceExperiments.Sandbox Reify.ReifyCommon Reify.PHOASUtil Reify.BenchmarkUtil