fact: Structure reified_of (ctx : context) := reify { nat_of : tagged_nat ctx ; reified_nat_of :> forall var, list var -> (forall T, T) -> @expr var }.
imports: Reify.ReifyCommon Coq.Lists.List Coq.NArith.NArith PerformanceExperiments.Harness Reify.BenchmarkExtraUtil Reify.CanonicalStructuresReifyCommon