fact: Definition ReifiedNatOf (e : reified_of nil) : (forall T, T) -> Expr := fun phantom var => reified_nat_of e nil phantom.
imports: Reify.ReifyCommon Coq.Lists.List Coq.NArith.NArith PerformanceExperiments.Harness Reify.BenchmarkExtraUtil Reify.CanonicalStructuresReifyCommon